[論文レビュー] Moments of the SHE under delta initial measure

Promit Ghosal|arXiv (Cornell University)|Aug 13, 2018

Stochastic processes and statistical mechanics参考文献 31被引用数 5

ひとこと要約

本稿は、原点におけるデルタ初期測度を伴う確率的熱方程式（SHE）の1点モーメントに関する線積分公式の厳密な証明を提供する。SHEとアイリーオン点過程の間の対応関係—[10, 定理1]におけるラプラス変換恒等式を介して確立されたもの—と、半離散的指向ポリマーからの極限的議論を用いて、先行するモーメント公式に依存せずに、すべての k ∈ ℕ に対して予想されていたモーメント公式の正当性を確認する。

ABSTRACT

We give a rigorous proof of the contour integral formulas of the moments of the stochastic heat equation (SHE) started from the delta initial measure at the origin. These formulas were conjectured in [BC14] (see also [CDR10, Dot10]). Our proof is based on a correspondence between the SHE and the Airy point process which was proved in [BG16, Theorem 1] using the formula of [ACQ11, Theorem 1.1].

研究の動機と目的

• デルタ初期測度を伴う確率的熱方程式（SHE）の1点モーメントに関する線積分公式の厳密な証明を提供すること。これは[8]で以前に予想されており、ヒューリスティックな根拠によって支持されていた。
• SHEの原点におけるモーメントとアイリーオン点過程の完全同次対称関数的量との間の対応関係を、事前にモーメント公式を仮定せずに確立すること。
• 発散級数展開に依存しない、半離散的指向ポリマー・モデルからの極限的手順を用いて、アイリーオン点過程のモーメントを厳密に導出すること。
• 半離散的ポリマー・モデルのモーメントがSHEのモーメントに収束することを確認し、結果として得られる積分公式の有効性を保証すること。
• SHE解の一様可積分性と尾確率の境界を確立し、極限過程におけるモーメントの収束を保証すること。

提案手法

• 文献[10, 定理1]におけるラプラス変換恒等式を用い、原点におけるSHE解のラプラス変換とアイリーオン点過程の乗法的関数の間の関係を確立する。
• アイリーオン側のラプラス変換に対してテイラー展開を適用し、発散級数を切り詰め、剰余項を厳密に評価することで制御する。
• 分離された半離散的指向ポリマー・モデルからの極限的手順を適用し、その分割関数のモーメントが既に線積分公式を満たしていることを用いる。
• 臨界点解析（ラプラス法）を用いて、ポリマー・モーメント積分における積分路を変形し、SHE・モーメントの目的の形に変換する。
• マークフの不等式と一様可積分性を用いて尾確率を制御し、極限と期待値の交換を正当化する。
• ポリマー・モデルのSHEへの収束とそれらのモーメントの収束を組み合わせ、ドミネート収束定理を用いて結果を結論づける。

実験結果

リサーチクエスチョン

• RQ1 デルタ初期データを伴うSHEの1点モーメントに関する線積分公式を、事前に公式を仮定せずに厳密に導出できるか？
• RQ2 SHEのモーメントとアイリーオン点過程との間には、事前にモーメント公式を仮定しない直接的な対応関係が存在するか？
• RQ3 半離散的指向ポリマー・モデルからの極限的手順によりモーメント公式を導出できるか？また、この極限がモーメント構造を保存するか？
• RQ4 半離散的ポリマー・モデルのモーメントがSHEのモーメントにどのように収束するか？また、一様可積分性はどのように確立できるか？
• RQ5 アイリーオン関数へのラプラス変換展開から生じる発散級数を、厳密にモーメントを抽出するためにどのように取り扱えるか？

主な発見

• 本稿は、SHEの原点におけるk次のモーメントに関する線積分公式の厳密な正当性を確立し、[8]における予想をすべての k ∈ ℕ に対して確認する。
• 公式は以下の通りである： E[(Z(T,X))^k] = (1/(2πi)^k) ∫⋯∫ ∏_{1≤A<B≤k} (z_A - z_B)/(z_A - z_B - 1) × exp( (T/2)∑z_j² + X∑z_j ) ∏dz_j, ここで積分路 C_j は C_j = α_j + iℝ であり、α_1 > α_2 + 2 > ⋯ > α_k + (k-1) を満たす。
• SHEのモーメントとアイリーオン点過程との間の対応関係は、[10, 定理1]におけるラプラス変換恒等式のみを用いて、モーメント公式を事前に仮定せずに証明された。
• アイリーオン点過程のモーメントは、半離散的ポリマー・モデルからの極限的議論を用いて厳密に導出され、発散級数展開に依存しない。
• 半離散的ポリマー・モデルのモーメントはSHEのモーメントに収束し、Nに一様に依存しない収束を示しており、モーメントの極限が極限のモーメントに等しいことを保証する。
• マークフの不等式と一様可積分性を用いて尾の境界を確立し、E[(Z(T,X))^k] < ∞ であることを証明し、モーメント収束における極限と期待値の交換を正当化する。