[논문 리뷰] Conservative stochastic PDE and fluctuations of the symmetric simple exclusion process

Nicolas Dirr, Benjamin Fehrman외 1명|arXiv (Cornell University)|2020. 12. 03.

Stochastic processes and statistical mechanics참고 문헌 41인용 수 5

한 줄 요약

이 논문은 대칭 단순 배제 과정(SSEP)의 변동을 모델링하기 위해 공간적으로 상관된 노이즈를 가진 비선형이고 보존적인 스토하스틱 편미분방정식(SPDE)을 제안한다. 이 SPDE는 중심극한변동과 희귀사건을 모두 정확히 포착하며, 노이즈가 없는 경우의 대규모 편차 원리가 입자 시스템의 정확한 비용 함수와 일치함을 증명한다.

ABSTRACT

In this paper, we provide a continuum model for the fluctuations of the symmetric simple exclusion process about its hydrodynamic limit. The model is based on an approximating sequence of stochastic PDEs with nonlinear, conservative noise. In the small-noise limit, we show that the fluctuations of the solutions are to first-order the same as the fluctuations of the particle system. Furthermore, the SPDEs correctly simulate the rare events in the particle process. We prove that the solutions satisfy a zero-noise large deviations principle with rate function equal to the rate function describing the deviations of the symmetric simple exclusion process from its hydrodynamic limit.

연구 동기 및 목표

• 대칭 단순 배제 과정(SSEP)에서의 일반적인 변동과 희귀사건을 정확히 포착하는 연속체 모델을 개발하는 것.
• 선형화된 모델의 한계를 극복하여, 중심극한 변동을 정확히 기술하지만 희귀사건을 기술하지 못하는 문제를 해결하는 것.
• 입자 시스템의 물리적 및 확률적 구조를 유지하는 비선형 SPDE를 구성하며, 보존적이고 곱셈형 노이즈를 갖는 것.
• SPDE 해가 원래 입자 시스템과 동일한 비용 함수를 갖는 대규모 편차 원리를 만족함을 입증하는 것.
• 공간-시간 백색노이즈의 스펙트럼 근사법을 사용하여, 일반적인 변동에서 희귀사건에 이르기까지 전체 변동 스펙트럼을 정확히 모델링함을 보여주는 것.

제안 방법

• 공간-시간 백색노이즈의 스펙트럼 근사인 $ \xi^{K(N)} $를 사용한 비선형 스토하스틱 편미분방정식 $\partial_t \rho_N = \Delta \rho_N - \frac{1}{\sqrt{N}} \nabla \cdot \left( \sqrt{\rho_N(1 - \rho_N)} \circ \xi^{K(N)} \right) $ 형태의 모델을 제안한다.
• 비선형성과 SPDE 해의 정규성 부족을 다루기 위해 점탄성 유형의 정규화와 운동량 형태의 해법을 사용한다.
• 스토하스틱 점탄성 해법과 운동량 형태의 해법을 적용하여 근사 해의 수렴성과 안정성을 입증한다.
• Aubin–Lions–Simons 보조정리와 제어의 균일한 $ L^2 $-유계성을 활용하여 해 집합의 컴팩턴스를 확보한다.
• 초기 자료의 약한 컴팩트 부분집합에서의 균일한 라플라스 원리와 대규모 편차 원리 간의 등가성을 적용하여 대규모 편차 결과를 입증한다.
• 사전 추정과 약한 수렴 기법을 사용하여 정규화된 SPDE에서 극한을 취하고, 극한 운동량 측도를 식별한다.

실험 결과

연구 질문

• RQ1 비선형적이고 보존적인 SPDE를 구성하여 대칭 단순 배제 과정(SSEP)의 일반적 변동과 희귀변동을 모두 모델링할 수 있는가?
• RQ2 제안된 SPDE가 입자 시스템의 대규모 편차 비용 함수, 특히 희귀사건에 대해 정확히 재현하는가?
• RQ3 공간적으로 상관된 노이즈를 사용하여 함수값 해를 갖는 SPDE를 구성할 수 있으며, 이로 인해 정확한 변동 통계를 유지할 수 있는가?
• RQ4 SPDE 해의 대규모 편차 원리는 원래 입자 시스템의 그것과 동일한가?
• RQ5 노이즈 근사 방법(스펙트럼 절단)의 선택이 해의 수렴성과 대규모 편차 행동에 어떤 영향을 미치는가?

주요 결과

• 비선형적이고 보존적인 노이즈를 갖는 제안된 SPDE는 SSEP의 1차 변동을 정확히 모델링하며, 일반화된 올름슈타인-우렌벡 과정이 기술하는 중심극한 변동과 일치한다.
• SPDE 해는 노이즈가 없는 경우 대규모 편차 원리를 만족하며, 그 비용 함수는 대칭 단순 배제 과정과 정확히 동일하여 희귀사건의 통계가 정확히 반영됨을 확인한다.
• SPDE의 대규모 편차 비용 함수 $ I_{\rho_0}(\mu) $ 는 $ \partial_t \rho = \Delta \rho - \nabla \cdot (\sqrt{\rho(1 - \rho)} g) $ 를 만족하는 경로들에 대해 $ \frac{1}{2} \inf \|g\|^2_{L^2} $ 로 주어지며, 이는 입자 시스템의 정확한 비용 함수와 일치한다.
• 정규화된 SPDE의 해 $ \rho^\varepsilon $ 는 스케일링 조건 $ \varepsilon K(\varepsilon)^{d+2} \to 0 $ 과 $ K(\varepsilon) \to \infty $ 하에서 $ L^2(\mathbb{T}^d \times [0,T]) $ 에서 좋은 비용 함수 $ I_{\rho_0} $ 를 갖는 대규모 편차 원리를 만족한다.
• 초기 자료가 $ L^2(\mathbb{T}^d; [0,1]) $ 의 약한 컴팩트 부분집합에 속할 경우, 해 집합은 $ L^2(\mathbb{T}^d \times [0,T]) $ 에서 컴팩트하여 안정성과 수렴성을 보장한다.
• 선형화된 모델이 희귀사건을 기술하지 못하는 데 반해, 비선형적이고 보존적인 노이즈를 포함한 SPDE 모델은 일반적 변동과 희귀사건을 모두 정확히 포착하여 전체 변동 스펙트럼을 성공적으로 모사한다.