[論文レビュー] Solving Unbounded Quadratic BSDEs by a Domination Method
本稿は、z変数における超線形成長を示す生成子を有する有界でない二次バックワード確率微分方程式（QBSDE）の解の存在を確立するための新規な支配法を導入する。生成子を上界および下界から支配する2つのBSDEの解が順序付けられている場合、この方法により、終端条件が有界でなく、成長関数fが局所的可積分である場合でも、最大解および最小解の存在が保証される。これは、従来の結果がfのグローバル可積分性または有界な終端データを仮定していたのを拡張するものである。
We introduce a domination argument which asserts that: if we can dominate theparameters of a quadratic backward stochastic differential equation (QBSDE) with continuousgenerator from above and from below by those of two BSDEs having ordered solutions, thenalso the original QBSDE admits at least one solution. This result is presented in a generalframework: we do not impose any integrability condition on none of the terminal data of thethree involved BSDEs, we do not require any constraint on the growth nor continuity of thetwo dominating generators. As a consequence, we establish the existence of a maximal anda minimal solution to BSDEs whose coefficient H is continuous and satisfies |H(t, y, z)| $\le$$α$ t + $β$ t |y| + $θ$ t |z| + f (|y|)|z| 2 , where $α$ t , $β$ t , $θ$ t are positive processes and the function f ispositive, continuous and increasing (or even only positive and locally bounded) on R. This isdone with unbounded terminal value. We cover the classical QBSDEs where the function f isconstant ([10], [12], [23], [25]) and when f (y) = y p ([21]) and also the cases where the generator has super linear growth such as y|z|, e |y| |z| p , e e |z| 2 , (k $\ge$ 0, 0 $\le$ p < 2) and so on. Incontrast to the works [10, 12, 21, 23, 25], we get the existence of a a maximal and a minimalsolution and we cover the BSDEs with at most linear growth (take f = 0). In particular,we cover and extend the results of [22] and [24]. Furthermore, we establish the existence anduniqueness of solutions to BSDEs driven by f (y)|z| 2 when f is merely locally integrable on R.
研究の動機と目的
- 有界でない終端値およびz変数における超線形成長を示す生成子を有する二次BSDEの解の存在を扱う。
- 成長関数fがグローバル可積分である必要があるという標準的要件を緩和し、fがℝ上局所的可積分である場合を許容する。
- 終端データが有界でなく、支配的生成子に連続性や可積分性制約がない一般条件のもとで、最大解および最小解の存在を確立する。
- 従来の理論がカバーしなかったケース、例えばf(y) = y^p、e^{|y|^k}|z|^p、およびe^{e^{|y|}}|z|^2を含む、QBSDEの既存結果を拡張する。
提案手法
- 支配的議論を提案：QBSDEの生成子Hが、対応するBSDEの解が順序付けられている2つの他の生成子から上界および下界で支配される場合、元のQBSDEは少なくとも1つの解を有する。
- 関数u_f(x) = ∫₀ˣ exp(2∫₀ᶻ f(r)dr) dzを用いた変換により、生成子における二次項を除去し、問題を線形型BSDEに還元する。
- 伊藤＝クリーロフの公式を適用して、元のQBSDEを変換された終端変数によって駆動される等価なBSDEに変換し、u_fおよびその逆関数の正則性を活用する。
- ソボレフおよび局所的L^1正則性理論を用いて、変換された過程が適切に定義され、必要な可積分性および可測性条件を満たすことを保証する。
- fがℝ上局所的可積分である場合に、f(|y|)|z|²を生成子とするBSDEに対して、変換および支配フレームワークを用いて解の存在および一意性を確立する。
- u_fの逆関数が局所リプシッツ的であり、W^{2,loc}_1に属することに依拠し、変換空間における確率積分のための道具を用いることができる。
実験結果
リサーチクエスチョン
- RQ1fがグローバル可積分でない場合でも、有界でない終端値およびz変数における超線形成長を示す生成子を有するQBSDEに対して、解の存在を確立できるか？
- RQ2fが局所的可積分であり、終端条件が有界でない場合でも、QBSDEに対して最大解および最小解の存在が成立するか？
- RQ3定数または多項式fに対する古典的結果を、e^{|y|^k}|z|^pやe^{e^{|y|}}|z|^2といったより一般的な成長関数に拡張できるか？
- RQ4支配的生成子に連続性や可積分性の仮定を課さないQBSDEの解法フレームワークを構築できるか？
- RQ5支配法を用いて、fが局所的可積分である場合にf(|y|)|z|²を生成子とするQBSDEの解の存在および一意性を証明できるか？
主な発見
- 本稿は、|H(t,y,z)| ≤ α_t + β_t|y| + θ_t|z| + f(|y|)|z|²を満たす生成子を有するQBSDEに対して、最大解および最小解の存在を確立する。ここでfは正で連続的かつ増大（または局所有界）であるが、グローバル可積分でなくてもよい。
- 本手法は、y|z|、e^{|y|^k}|z|^p（k≥0、0≤p<2）、およびe^{e^{|y|}}|z|^2といった超線形成長を示す生成子にも適用可能であり、古典的二次ケースを越える。
- f(y) = 1_{ℝ₊}(y)の場合、終端変数ξに可積分性条件を課さないで解の存在を示しており、本手法の頑健性を示している。
- fがℝ上局所的可積分である場合に、f(|y|)|z|²を生成子とするBSDEに対して、解の存在および一意性を証明した。これは、従来の結果がグローバル可積分性を要件としていたのを顕著に拡張する。
- u_f(x) = ∫₀ˣ exp(2∫₀ᶻ f(r)dr) dzによる変換により、元のQBSDEは線形型BSDEに写像され、変換空間では標準的な存在性ツールが使用可能になる。
- u_fの逆関数が局所リプシッツ的であり、W^{2,loc}_1(ℝ)に属することを示し、変換された解過程が適切に定義され、確率積分に必要な正則性を満たすことが保証された。
より良い研究を、今すぐ始めましょう
論文の読解から最終レビューまで、研究時間を劇的に削減しましょう。
クレジットカード登録不要
このレビューはAIが作成し、人間の編集者が確認しました。