[論文レビュー] Locality for singular stochastic PDEs

Ismaël Bailleul, Yvain Bruned|arXiv (Cornell University)|Sep 1, 2021

Stochastic processes and financial applications参考文献 42被引用数 4

ひとこと要約

この論文は、非定数かつ非平行移動不変な微分作用素を伴う特異確率偏微分方程式（SPDE）に対して、状態空間に依存する準備写像と再正規化スキームを導入することで、正則性構造理論を拡張する。非平行移動不変な設定における再正規化された方程式の堅牢なフレームワークを確立し、点付きの特徴関数を用いて時空に依存する係数へのBPHZ再正規化の一般化を達成し、適応的再構成と代数的技法を用いてそのようなスキーム下での解の存在を証明する。

ABSTRACT

This work deals with singular stochastic PDEs driven by non-translation invariant differential operators. We describe the renormalized equation for a very large class of spacetime dependent renormalization schemes. Our approach bypasses in particular the use of decorated trees with extended decorations.

研究の動機と目的

• 非平行移動不変な微分作用素を含む特異確率偏微分方程式に対する正則性構造理論の拡張を図ること。
• 関数値をとる再正規化定数の必要性により、標準的なBPHZ再正規化が非平行移動不変な設定で失敗する理由を解明すること。
• 定数特徴関数の代わりに点付き関数を用いる状態空間に依存する準備写像と特徴関数を用いた新しい再正規化スキームの構築。
• 非平行移動不変な設定における再正規化された系の解の存在を、適応的再構成と代数的構造を用いて証明すること。
• 点付き期待値条件を満たす特徴関数値関数を用いて、BPHZ再正規化を時空に依存する係数へ一般化すること。

提案手法

• バイユール＆ホシノの『ツアー・ガイド』に由来するヒートコアーベースの解析的枠組みを非平行移動不変な設定に適応し、非径対称核に対して必要な正則性推定式 (2.1) を証明する。
• 構造を固定し、同次成分を保存する強力な準備写像 $ R $ を導入し、モデルド分布の持ち上げと整合性を保証する。
• 状態空間に依存する特徴関数 $ ho(x, au) $ を定義し、$ ho(x, au) = -E[( ilde{Pi}^{R_ ho} au)(x)] $ を満たすことで、非平行移動不変な設定におけるBPHZ特徴関数の一般化を達成する。
• 再正規化された解釈作用素 $ Pi_ ho = Pi vert_{R_ ho} $ を構成し、$ R_ ho $ を状態に依存する準備写像として用いることで、適切なモデルの存在を保証する。
• 群構造を状態依存特徴関数に定義するコアクション $ ar{ ho} vert_{ au} = ( ho ensor One)ar{ ho} $ を用い、$ R_ ho R_{ar{ ho}} = R_{ ho ar{ ho}} $ を通じて合成を保存する。
• 非平行移動不変な設定においても再構成定理をそのままで適用し、推定式 (2.1) の頑健性とRinaldi & Sclavi [25] の多様体に適した証明に依拠する。

実験結果

リサーチクエスチョン

• RQ1 非定数かつ非平行移動不変な微分作用素を伴う特異SPDEを扱うために、正則性構造理論をどのように拡張できるか。
• RQ2 なぜ標準的なBPHZ再正規化スキームは非平行移動不変な設定で失敗するのか。どのような代替的定式化が必要か。
• RQ3 代数的および解析的構造を保ちつつ、BPHZを一般化する状態空間に依存する再正規化スキームを構築可能か。
• RQ4 非平行移動不変な設定におけるBPHZ特徴関数の正しい一般化は何か。点付き期待値を用いてどのように定義されるか。
• RQ5 再構成定理は非平行移動不変な設定でも有効であるか。その証明はこのような幾何構造に適応可能か。

主な発見

• この論文は、正則性構造の同次成分を保存し、適切に定義された適切なモデル $ M^R $ の存在を保証する状態空間に依存する準備写像 $ R $ を構築する。
• 再正規化された系が $ ( abla_{x_0} - L^i_{x_1})u_i = F_i(u, abla_{x_1}u) ho + extstyleigsum_{ au eq 0} ho(x, au) rac{F_i( au)(u, abla_{x_1}u)}{S( au)} $ の形を取り、$ ho(x, au) = -E[(Pi^{R_ ho} au)(x)] $ を満たすことを証明し、BPHZを一般化する。
• 再正規化スキームが $ R_ ho R_{ar{ ho}} = R_{ ho ar{ ho}} $ を満たすことで、特徴関数の群構造と整合していることが示され、ここで $ ho ar{ ho} = ( ho ensor ar{ ho})ar{ ho} $ は点付きで定義される。
• 再構成定理は非平行移動不変な設定でも有効であり、推定式 (2.1) が幾何的および解析的摂動に対して頑健であるためである。
• 再構成定理が多様体に適した手法（例：Rinaldi & Sclavi [25]）を用いて適応可能である限り、このフレームワークは閉じた多様体へも拡張可能である。
• 拡張された装飾を回避し、代わりに明確なBPHZスキームへのリンクを保ちつつ、非平行移動不変な設定において直接的かつ代数的に整合性のある再正規化を実現する。