[論文レビュー] Dean-Kawasaki Dynamics: Ill-posedness vs. Triviality

Tobias Lehmann, Vitalii Konarovskyi+1 more|arXiv (Cornell University)|Jun 13, 2018

Advanced Thermodynamics and Statistical Mechanics参考文献 32被引用数 3

ひとこと要約

この論文は、Dean-Kawasaki確率的偏微分方程式（SPDE）が、拡散パラメータ α が正の整数であり、初期測度 μ₀ が α 個の点に質量 1/α を持つ原子測度である場合にのみ非自明な解をもつことを証明している。その他のすべての場合は、SPDEは適切に定義されていないか、自明な解しか得られず、解はWasserstein空間上の真の拡散ではなく、粒子系上のブラウン運動の測度値への上昇であることを意味する。

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.

研究の動機と目的

• 正則化なしにおけるDean-Kawasaki SPDEが非自明な解をもつかどうかという長年の未解決問題を解消すること。
• 乗法的ノイズと拡散を伴う一般化されたDean-Kawasaki方程式の解の存在および一意性を調査すること。
• SPDEが適切に定義されているか、または自明な解となる条件を、特にパラメータ α と初期測度 μ₀ との関係において特定すること。
• 二分法の確立：解が存在しないか、あるいは解が自明であり、非相互作用粒子系に対応する。

提案手法

• 有界ボレル集合 A に対して μₜ(A) のモーメント構造を分析するために、ラプラス双対性および確率的生成関数を用いる。
• 基礎となる拡散の生成作用素を活用して、過程 μₜ に対するマルティンゲール問題の定式化を適用する。
• s → 0+ における生成関数 g(s) = ℰ[s^{αμₜ(A)}] のテイラー展開を用いて、分布的情報を抽出する。
• 補題3を用いて、生成関数が s → 0+ において次数 n までの多項式展開を持つならば、確率変数 αμₜ(A) がほとんど確実に整数値をとることを示す。
• μₜ(A) のほとんど確実な離散性と、μₜ が確率測度であるという制約を組み合わせることで、α が整数でなければならないことを導く。
• 過程の連続性と境界の正則性を用いて、初期測度 μ₀ もまた α 個の原子点に質量 1/α を持つ離散的測度でなければならないことを推論する。

実験結果

リサーチクエスチョン

• RQ1 拡散パラメータ α のどの値に対して、Dean-Kawasaki SPDEが非自明な解をもつか。
• RQ2 Dean-Kawasaki SPDE の解が存在するためには、初期測度 μ₀ にどのような条件が必要か。
• RQ3 正則化なしに、SPDE が測度値過程の意味で解けるかどうか、もしそうならどのような条件下でか。
• RQ4 Dean-Kawasaki方程式に補正項 Ξ が存在しないと、なぜ自明な解または適切に定義されていない解が生じるのか。
• RQ5 μₜ(A) の生成関数の構造は、解測度の可能な値にどのような制約を課えるか。

主な発見

• Dean-Kawasaki SPDE は、拡散パラメータ α が正の整数である場合にのみ解をもつ。
• α ∈ ℕ の場合、解は自明である。これは、非相互作用粒子系に対応し、測度値過程が (α/2)Δ のマルティンゲール問題の上昇であることを意味する。
• 解が存在するためには、初期測度 μ₀ が正確に α 個の原子点を持ち、それぞれの質量が 1/α でなければならない。
• 非整数 α の場合、非自明な解は存在せず、生成関数が多項式展開を持たないため、SPDE は適切に定義されていない。
• すべての有界ボレル集合 A および t > 0 に対して、解過程 μₜ(A) はほとんど確実に {0, 1/α, ..., ⌊α⌋/α} の値をとる。
• μₜ が確率測度であることから、全質量が 1 に保たれるため、α が整数である必要がある。