[논문 리뷰] Dean-Kawasaki Dynamics: Ill-posedness vs. Triviality

Tobias Lehmann, Vitalii Konarovskyi외 1명|arXiv (Cornell University)|2018. 06. 13.

Advanced Thermodynamics and Statistical Mechanics참고 문헌 32인용 수 3

한 줄 요약

이 논문은 딘-카와스키 스토하스틱 편미분방정식(SPDE)이 산란 매개수 α가 양의 정수일 때와 초기 측도 μ₀가 α개의 점에서 질량 1/α를 가진 원자 측도일 때에만 비자명한 해를 가짐을 증명한다. 그 외의 모든 경우, SPDE는 잘 정의되지 않거나 오직 자명한 해를 갖는다. 즉, 해는 와서슈타인 공간 위의 진정한 확산이 아니라 입자 시스템의 브라운 운동의 측도값 상향으로 표현된다.

ABSTRACT

We prove that the Dean-Kawasaki SPDE admits a solution only in integer parameter regimes, in which case the solution is given in terms of non-interacting particles.

연구 동기 및 목표

• 정규화 없이 딘-카와스키 SPDE가 비자명한 해를 가지는지 여부에 대한 오랜 동안의 질문을 해결하기 위해.
• 곱셈형 노이즈와 산란을 가진 일반화된 딘-카와스키 방정식의 해의 존재성과 유일성을 조사하기 위해.
• SPDE가 잘 정의되거나 자명한지 여부를 결정하기 위해, 특히 매개수 α와 초기 측도 μ₀와의 관계를 규명하기 위해.
• 이분법을 설정하기 위해: 해가 존재하지 않거나, 해는 자명하며 비상호작용 입자 시스템에 대응한다.

제안 방법

• 유한 보렐 집합 A에 대해 μₜ(A)의 모멘트 구조를 분석하기 위해 라플라스 쌍대성과 확률 생성 함수를 사용한다.
• 기저 확산의 생성자를 활용하여 과정 μₜ에 대한 마틴갈 문제 공식을 적용한다.
• 생성 함수 g(s) = ℰ[s^{αμₜ(A)}]를 s = 0 근처에서 테일러 전개하여 분포적 정보를 추출한다.
• 레마 3을 활용하여, s → 0+일 때 생성 함수가 차수 n까지 다항식 전개를 갖는다면, 랜덤 변수 αμₜ(A)는 거의 확실하게 정수 값을 가짐을 보인다.
• μₜ(A)의 거의 확실한 이산성과 μₜ가 확률 측도임을 조합하여 α가 정수여야 함을 유도한다.
• 과정의 연속성과 경계의 정규성으로 인해 초기 측도 μ₀도 α개의 원자에서 각각 질량 1/α를 가진 이산 측도여야 함을 유추한다.

실험 결과

연구 질문

• RQ1 산란 매개수 α가 어떤 값일 때 딘-카와스키 SPDE가 비자명한 해를 갖는가?
• RQ2 초기 측도 μ₀에 대해 SPDE의 해 존재를 위해 필요한 조건은 무엇인가?
• RQ3 정규화 없이 SPDE를 측도값 과정의 의미에서 풀 수 있는가, 그리고 만약 가능하면 어떤 조건에서 가능한가?
• RQ4 딘-카와스키 방정식에서 보정 항 Ξ가 존재하지 않는 이유로 인해 자명하거나 잘 정의되지 않은 해가 나오는 이유는 무엇인가?
• RQ5 μₜ(A)의 생성 함수의 구조는 해 측도의 가능한 값들을 어떻게 제약하는가?

주요 결과

• 딘-카와스키 SPDE는 산란 매개수 α가 양의 정수일 때에만 해를 가진다.
• α ∈ ℕ일 경우, 해는 비상호작용 입자 시스템에 대응하는 자명한 해로서, 측도값 과정이 (α/2)Δ에 대한 마틴갈 문제의 상향임을 의미한다.
• 해가 존재하기 위해서는 초기 측도 μ₀가 정확히 α개의 원자로 구성되어야 하며, 각 원자에서 질량 1/α를 가져야 한다.
• 비정수 α일 경우, 비자명한 해는 존재하지 않으며, 생성 함수가 다항식 전개를 갖지 못함으로 인해 SPDE는 잘 정의되지 않는다.
• 모든 유한 보렐 집합 A와 t > 0에 대해 해 과정 μₜ(A)는 거의 확실하게 {0, 1/α, ..., ⌊α⌋/α}의 값을 가진다.
• μₜ가 확률 측도임을 요구함으로써 α는 정수여야 하며, 否면 총 질량이 1을 유지할 수 없다.