[논문 리뷰] Boundary value for a nonlinear transport equation emerging from a stochastic coagulation-fragmentation type model

Julien Deschamps, Erwan Hingant외 1명|arXiv (Cornell University)|2014. 12. 16.

Stochastic processes and statistical mechanics참고 문헌 47인용 수 3

한 줄 요약

이 논문은 확률적 Becker-Döring 모형에서 결정적 Lifshitz-Slyozov 방정식으로의 엄밀한 척도 극한을 확립하며, 들어오는 특성선에 대해 $x=0$에서 새로운 경계 조건을 도출한다. 경계를 포함하는 약한 위상에서 저자들은 경험 측도의 수렴을 증명하고, $α$가 미세 구조의 핵형성 역학에서 유래하는 형태 $ \lim_{x\to 0}(a(x)u(t)-b(x))f(t,x) = \alpha u(t)^2$의 경계 조건을 규명하여, 상전이 모델링 분야에서 오랫동안 남아 있던 열린 문제를 해결한다.

ABSTRACT

We investigate the connection between two classical models of phase transition phenomena, the (discrete size) stochastic Becker-Döring, a continous time Markov chain model, and the (continuous size) deterministic Lifshitz-Slyozov model, a nonlinear transport partial differential equation. For general coefficients and initial data, we introduce a scaling parameter and prove that the empirical measure associated to the stochastic Becker-Döring system converges in law to the weak solution of the Lifshitz-Slyozov equation when the parameter goes to 0. Contrary to previous studies, we use a weak topology that includes the boundary of the state space (\ie\ the size $x=0$) allowing us to rigorously derive a boundary value for the Lifshitz-Slyozov model in the case of incoming characteristics. The condition reads $\lim_{x o 0} (a(x)u(t)-b(x))f(t,x) = αu(t)^2$ where $f$ is the volume distribution function, solution of the Lifshitz-Slyozov equation, $a$ and $b$ the aggregation and fragmentation rates, $u$ the concentration of free particles and $α$ a nucleation constant emerging from the microscopic model. It is the main novelty of this work and it answers to a question that has been conjectured or suggested by both mathematicians and physicists. We emphasize that this boundary value depends on a particular scaling (as opposed to a modeling choice) and is the result of a separation of time scale and an averaging of fast (fluctuating) variables.

연구 동기 및 목표

• 수소역학 극한에서 확률적 Becker-Döring 모형과 결정적 Lifshitz-Slyozov 방정식을 엄밀하게 연결하는 것.
• 특성선이 들어오는 경우($x=0$에서 $a(0)u(t) - b(0) < 0$)에 대해 Lifshitz-Slyozov 방정식에 대해 수학적으로 일관된 경계 조건을 도출하는 것.
• 경계 조건이 미세 구조 모형에서 빠르게 변하는 변수의 평균화와 시간 척도의 분리로부터 유도됨을 보이는 것.
• 수학 물리학 분야에서 오랫동안 남아 있던 Lifshitz-Slyozov 모형의 경계 조건 형태에 대한 추측을 해결하는 것.
• 특정 척도 하에서, 확률적 Becker-Döring 과정의 경험 측도가 약한 위상에서 Lifshitz-Slyozov 방정식의 약한 해로 수렴함을 확립하는 것.

제안 방법

• 스케일링 매개변수 $\varepsilon$를 도입하여 확률적 Becker-Döring 시스템을 재스케일링함으로써 수소역학 극한을 가능하게 한다.
• 경계점 $x=0$를 포함하는 측도 공간 위의 약한 위상을 사용하여 경계 조건을 엄밀히 다룰 수 있도록 한다.
• 측도값 과정에 대한 극한 정리 적용으로 경험 측도가 Lifshitz-Slyozov 방정식의 약한 해로 법적 수렴을 증명한다.
• 미세 구조 역학의 빠른 변수에 대한 시간 척도 분리와 평균화를 통해 경계 조건을 규명한다.
• 정규화된 $C^1$ 함수로 구성된 컴팩트 지지 집합을 가진 함수 공간 $\overline{\mathcal{G}}$를 사용하여 정적 측도를 특성화하고 유량 균형 조건을 도출한다.
• Fréchet 도함수 추론과 지지 집합 식별 보조정리를 적용하여 정적 측도가 모든 유량이 0이 되는 상태에만 지지되어야 한다는 것을 보인다.

실험 결과

연구 질문

• RQ1 특성선이 들어오는 경우($a(0)u(t) - b(0) < 0$)에 Lifshitz-Slyozov 방정식에 대해 적절한 경계 조건은 무엇인가?
• RQ2 Lifshitz-Slyozov 방정식은 확률적 Becker-Döring 모형의 수소역학 극한으로 엄밀히 도출될 수 있는가?
• RQ3 경계 조건은 미세 구조의 확률적 역학으로부터 어떻게 유도되며, 이는 모형 의존성인지 척도 의존성인지?
• RQ4 핵형성 상수 $\alpha$는 경계 조건에서 어떤 역할을 하는가? 그리고 이는 미세 구조 비율에서 어떻게 도출되는가?
• RQ5 경계 $x=0$를 포함하는 약한 위상에서, Becker-Döring 과정의 경험 측도가 Lifshitz-Slyozov 해로 수렴하는가를 확립할 수 있는가?

주요 결과

• 경계 조건 $\lim_{x\to 0}(a(x)u(t) - b(x))f(t,x) = \alpha u(t)^2$는 확률적 Becker-Döring 모형의 척도 극한으로 엄밀히 도출되었다.
• 경계 조건는 모델링 가정이 아니라, 미세 구조 시스템에서 시간 척도의 분리와 빠르게 변하는 변수의 평균화로부터 유도된다.
• 핵형성 상수 $\alpha$는 미세 구조의 분열 및 응집 비율과 명시적으로 연결되어 있으며, 확률적 모형에서 자연스럽게 유도된다.
• 경계 $x=0$를 포함하는 약한 위상에서, Becker-Döring 과정의 경험 측도가 Lifshitz-Slyozov 방정식의 약한 해로 법적 수렴이 증명되었다.
• 이 결과는 오랫동안 남아 있던 수학 물리학 분야의 열린 문제를 해결하였으며, 수학자들과 물리학자들이 제기한 추측을 확인한다.
• 분석 결과, 거시적 시스템의 정적 측도는 모든 유량이 0이 되는 상태에만 지지되어야 하며, 이는 경계 조건과 일치한다.