[논문 리뷰] Steady state large deviations for one-dimensional, symmetric exclusion processes in weak contact with reservoirs

Angèle Bouley, Clément Erignoux외 1명|arXiv (Cornell University)|2021. 07. 14.

Stochastic processes and statistical mechanics참고 문헌 17인용 수 4

한 줄 요약

이 논문은 약한 경계 저장소를 갖는 1차원 대칭 배제 과정에서 정상 상태의 큰 편차를 기술하는 최적 궤적을 지배하는 편미분방정식을 유도한다. Derrida 등이 행렬 곱 스킴을 통해 유도한 위상전위와 동적 큰 편차 기능에 기반한 변분 형식 사이의 등가성을 확립하여, 로빈 경계 조건을 갖는 비평형 정상 상태에서 위상전위의 엄밀한 PDE 기반 특성화를 제공한다.

ABSTRACT

Consider the symmetric exclusion process evolving on an interval and weakly interacting at the end-points with reservoirs. Denote by $I_{[0,T]} (\cdot)$ its dynamical large deviations functional and by $V(\cdot)$ the associated quasi-potential, defined as $V(γ) = \inf_{T>0} \inf_u I_{[0,T]} (u)$, where the infimum is carried over all trajectories $u$ such that $u(0) = \barρ$, $u(T) = γ$, and $\barρ$ is the stationary density profile. We derive the partial differential equation which describes the evolution of the optimal trajectory, and deduce from this result the formula obtained by Derrida, Hirschberg and Sadhu \cite{DHS2021} for the quasi-potential through the representation of the steady state as a product of matrices.

연구 동기 및 목표

• 약한 결합된 저장소를 갖는 1차원 대칭 배제 과정에서 비평형 정상 상태의 위상전위를 특성화하는 것.
• 정상 상태 밀도 프로파일에서 주어진 밀도 프로파일로의 큰 편차 비용 기능을 최소화하는 최적 경로를 지배하는 편미분방정식을 유도하는 것.
• Derrida, Hirschberg, Sadhu의 정상 상태의 행렬 곱 상태 표현과 동적 큰 편차를 통한 변분 형식의 위상전위를 엄밀히 연결하는 것.
• 약한 저장소 결합 조건 하에서 로빈 경계 조건을 갖는 유체역학 방정식에 대한 약한 해의 존재성, 유일성 및 정칙성을 확립하는 것.

제안 방법

• 경계 기여항을 포함한 해밀토니안 형식을 사용하여, 부드러운 시험 함수에 대한 시간 적분 최대값으로 동적 큰 편차 기능 $ I_{[0,T]}(u) $ 를 공식화한다.
• 이동도 $ \sigma(\gamma) = \gamma(1-\gamma) $ 와 경계 기능 $ \mathfrak{b}_{\varrho,D} $ 를 포함한 해밀토니안 $ \mathscr{H}(\gamma, F) $ 를 유도한다.
• 비용 기능의 변분 원리로부터 유도된 해밀턴-자코비-벨만 PDE의 해로 최적 궤적 $ u(t,x) $ 를 식별한다.
• 갈레르킨 근사와 에너지 추정을 통해 로빈 경계 조건을 갖는 유체역학 방정식 (1.1)에 대한 약한 해의 존재성과 유일성을 확립한다.
• 스펙트럼 이론과 졸업법을 사용하여 진화 연산자 $ P_t^{(R)} $ 를 분석하고, $ L^\infty $ 와 $ C^2 $ 노름에서 수축성과 수렴성 성질을 증명한다.
• 최적 경로가 유도된 PDE와 경계 조건을 만족함을 보여, 행렬 곱 스킴 결과와 변분 위상전위 사이의 등가성을 검증한다.

실험 결과

연구 질문

• RQ1 약한 저장소를 갖는 대칭 배제 과정의 정상 상태에 대한 위상전위는 어떻게 동적 큰 편차 기능과 관련이 있는가?
• RQ2 약한 저장소 결합 조건 하에서 정상 상태 밀도 프로파일에서 주어진 변동 프로파일로 연결되는 최적 궤적을 지배하는 PDE는 무엇인가?
• RQ3 정상 상태의 행렬 곱 상태 표현은 큰 편차 비용 기능의 변분 형식으로 엄밀히 유도될 수 있는가?
• RQ4 약한 저장소를 갖는 대칭 배제 과정의 유체역학 근사에서 로빈 경계 조건는 어떻게 유도되며, 위상전위에서 그 역할은 무엇인가?
• RQ5 약한 경계 결합 조건을 갖는 유체역학 방정식의 해는 어떤 정칙성 및 수렴 성질을 갖는가?

주요 결과

• 정상 상태 프로파일에서의 큰 편차에 대한 최적 궤적은 비용 기능의 변분 원리로부터 유도된 해밀턴-자코비-벨만 PDE를 만족한다.
• 위상전위 $ V(\gamma) $ 는 정상 상태 프로파일 $ \bar{\rho} $ 에서 $ \gamma $ 로의 모든 경로에 대해 동적 비용 기능의 최소값으로 주어지며, 이 최소값은 유도된 PDE의 해에 의해 달성된다.
• 정상 상태 밀도 프로파일 $ \bar{\rho}(x) $ 는 $ x=-A $ 와 $ x=1+B $ 에서의 효과적 저장소 밀도 사이의 선형 보간으로 명시적으로 계산되며, $ \bar{\rho}(x) = \frac{\alpha(1+B) + \beta A}{1+A+B} + \frac{(\beta - \alpha)x}{1+A+B} $ 로 주어진다.
• 로빈 경계 조건을 갖는 유체역학 방정식의 해는 존재하며, 유일하며, $ t > 0 $ 에서 $ C^2([0,1]) $ 에 속하며, 근사 수열이 균일 수렴한다.
• 진화 연산자 $ P_t^{(R)} $ 는 $ L^\infty([0,1]) $ 에서 수축성을 가지며, 초기 프로파일의 변화에 대한 해의 안정성과 수렴성을 보장한다.
• 행렬 곱 스킴을 통한 위상전위 결과는 변분 문제의 해로서 엄밀히 복원되며, 스토케스틱 및 유체역학적 공식화 간의 등가성을 확인한다.