[論文レビュー] Strong uniqueness for stochastic evolution equations in Hilbert spaces with bounded measurable drift

Giuseppe Da Prato, Franco Flandoli+2 more|arXiv (Cornell University)|Sep 2, 2011

Stochastic processes and financial applications被引用数 7

ひとこと要約

この論文は、有界かつ可測なドリフトと円柱型ウィーナー過程を伴うヒルバート空間における確率的進化方程式について、パスワイズ（強い）一意性を確立する。これは、バーテニコフの有限次元での結果を無限次元に拡張したものである。無限次元におけるマリヤン・ソボレフ積分の理論を活用することで、滑らかさの欠如にもかかわらず、広範な初期分布のクラスに対して一意性を証明する。

ABSTRACT

We prove pathwise (hence strong) uniqueness of solutions to stochastic evolution equations in Hilbert spaces with merely measurable bounded drift and cylindrical Wiener noise, thus generalizing Veretennikov's fundamental result on $\mathbb{R}^d$ to infinite dimensions. Because Sobolev regularity results implying continuity or smoothness of functions do not hold on infinite-dimensional spaces, we employ methods and results developed in the study of Malliavin-Sobolev spaces in infinite dimensions. The price we pay is that we can prove uniqueness for a large class, but not for every initial distribution. Such restriction, however, is common in infinite dimensions.

研究の動機と目的

• 有限次元におけるバーテニコフの強い一意性に関する結果を、無限次元ヒルバート空間へと拡張すること。
• 有限次元では滑らかさを保証する重要な役割を果たすソボレフ正則性が、無限次元設定では成立しないという課題に対処すること。
• ドリフトが可測かつ有界である場合に、確率的進化方程式のパスワイズ一意性を確立すること。
• このような一意性の限界を特定し、すべての初期分布ではなく、大きながその一部に限ることを認識すること。
• 滑らかさの仮定を最小限に抑えた状況下で、解の一意性を分析するための枠組みを構築し、無限次元におけるマリヤン・ソボレフ空間の道具を適用すること。

提案手法

• マリヤン・ソボレフ積分の理論を無限次元ヒルバート空間に適応する技術を用いる。
• 円柱型ウィーナー過程の構造を活用し、ヒルバート空間設定における確率的進化方程式を定義・分析する。
• ソボレフ正則性の欠如に対処するため、マリヤンの意味での部分積分公式と正則性推定式を用いる。
• ドリフトの滑らかさに最小限の仮定を置いた状況下で、解の一意性を分析する枠組みを構築する。
• マリヤンの意味で十分に正則な初期分布のクラスに対して、一意性を確立する。
• 古典的な微分可能性や連続性の仮定を必要としない、無限次元確率解析を用いて、滑らかさの欠如を補う。

実験結果

リサーチクエスチョン

• RQ1 ドリフトが可測かつ有界である場合に、ヒルバート空間における確率的進化方程式の強い一意性を確立できるか？
• RQ2 無限次元空間におけるソボレフ正則性の欠如を克服するために、どのような解析的道具が必要か？
• RQ3 パスワイズ一意性はどの程度成立し、どのような初期分布に対して有効か？
• RQ4 マリヤン・ソボレフ積分を無限次元確率的偏微分方程式に効果的に拡張・適用するにはどうすればよいか？
• RQ5 滑らかさの仮定を最小限に抑えた状況下で、バーテニコフの有限次元結果を無限次元ヒルバート空間へ一般化できるか？

主な発見

• 有界可測なドリフトと円柱型ウィーナー過程を伴うヒルバート空間における確率的進化方程式について、パスワイズ一意性が確立された。
• この結果は、バーテニコフの古典的な有限次元の一意性定理を無限次元設定へ拡張したものである。
• 一意性は、無限次元解析の限界により、すべての初期分布に対しては成立しないが、広範な初期分布のクラスに対して成立する。
• 証明は、無限次元における高度なマリヤン・ソボレフ空間の道具に依拠しており、ソボレフ正則性の欠如を補っている。
• 開発された枠組みは、ドリフトに滑らかさの仮定がなくても強い一意性が達成可能であることを示している。
• 初期分布のクラスに制限があることは、無限次元確率解析において知られ、受け入れられる限界である。