一类平均场型随机微分方程的存在唯一性定理-凯发娱乐注册

期刊菜单

一类平均场型随机微分方程的存在唯一性定理
existence and uniqueness theorem for a class of mean-field stochastic differential equations

doi: , , html, , 科研立项经费支持
作者: , , ：大连交通大学理学院，辽宁大连
关键词: ；；；；；；；

摘要: 本文研究一类由布朗运动驱动的平均场型随机微分方程，此方程与平均场型最优控制问题紧密相关，应用压缩映射定理给出了平均场型方程的存在唯一性定理，即当系统的系数关于状态和平均场满足lipschitz连续，关于时间平方可积，并且初始状态变量满足一定可积性条件时，方程具有唯一的强解。

abstract: this paper explores a class of mean-field stochastic differential equations (sdes) driven by brownian motion, which is closely linked with mean-field optimal stochastic control problems. we utilize the contraction mapping theorem to establish the existence and uniqueness of solutions for the mean-field sdes. that is, when the coefficients of the system with respect to the state and the mean-field satisfy lipschitz continuity, are square integrable with respect to time, and the initial state variables satisfy certain integrability conditions, the equation has a unique strong solution.

文章引用：裴博超, 王岩, 尉子璇. 一类平均场型随机微分方程的存在唯一性定理[j]. 应用数学进展, 2024, 13(4): 1354-1361.

1. 引言

平均场型随机微分方程，也称为mckean-vlasov方程，用来描述大量微观粒子交互影响系统的演化过程。具体来说，系统中每个粒子的行为均受到其它粒子的影响，平均场是度量这种相互作用对系统产生平均贡献的数学工具。平均场型随机微分方程可以同时对大规模系统中个体的行为和集体的交互作用进行建模，因而在现实领域有着广泛的应用：在物理学中用于研究粒子系统的热力学性质(见文献 [1] )；在经济学中用来分析市场中价格形成等问题(见文献 [2] )。

解的存在唯一性是随机微分方程理论研究的基础问题之一，在现有文献中迭代方法作为一种经典方法，用于研究各种随机微分方程解的存在唯一性，例如：在文献 [3] 中evans针对一类一般的随机微分方程，通过构造迭代格式，利用鞅不等式、切比雪夫不等式以及无穷级数一致收敛和递推的方法，证明了解的存在唯一性定理；在文献 [4] 中陈晨等学者简化了evans的证明过程，利用cauchy-schwarz不等式和itô公式，通过迭代方法得到了随机微分方程解的存在唯一性条件；文献 [5] 利用迭代的思想在广义hukuhara可微条件下，得到了随机模糊分数阶微分方程解的存在唯一性定理；刘存霞在 [6] 中利用迭代方法探讨了g-布朗运动驱动随机微分方程解的存在唯一性；li等学者在文献 [7] 中证明了一般耦合平均场型正倒向随机微分方程在lipschitz条件下存在唯一解；学者bahaj和hiderah在文献 [8] 中证明了一类带反射边界的扰动随机微分方程存在唯一的解。

压缩映射定理，也被称为banach不动点定理，保证了度量空间自映射的不动点的存在性和唯一性，是研究确定型动力系统存在唯一性的经典工具，近年来也被引入随机微分方程领域的定性研究。例如：yong和zhou在文献 [9] 中利用压缩映射定理，讨论了布朗运动驱动随机微分方程解的存在唯一性条件；吴霜在文献 [10] 中针对一类条件平均场型的随机微分方程，借助压缩映射定理证明其存在唯一解；在文献 [11] 中，唐浦森和陈琳利用随机分析技术和banach不动点定理，研究了一类具有时滞的caputo型模糊分数阶随机微分方程解的存在唯一性。

本文关注一类平均场型随机微分方程，讨论其强解的存在唯一性条件，并利用压缩映射不动点定理证明其强解的存在唯一性定理。本文主要借鉴yong和zhou在文献 [9] 中的证明方法，但与文献 [9] 所研究的itô型随机微分方程不同，本文讨论的平均场型随机系统是itô型随机微分方程的进一步推广，其中不仅含有状态过程还含有状态过程的数学期望。文献 [10] 针对一类条件平均场型随机微分方程，在 $l^{2}$ 空间利用范数 ${‖ \cdot ‖}_{β}$ ( $β > 0$ )，借助压缩映射定理给出了解的存在唯一性定理，而本文的方程与文献 [10] 类似，但研究方法与文献 [10] 不同，本文的研究建立在泛函空间 $l_{f}^{l} [0, τ]$ ( $l \geq 1$ )，且其上的范数为 ${| \cdot |}_{l_{f}^{l} [0, τ]}$ (见(2.8))。

本文的结构如下：在第二节中提出问题模型并给出平均场型随机微分方程强解的存在唯一性条件；第三节是本文的主要结果，利用压缩映射定理证明方程强解的存在唯一性；第四节对本文的结论和贡献作以总结。

2. 问题模型

令 $(ω, f, {f_{t}}_{t \geq 0}, p)$ 为满足一般条件的滤子概率空间并在该空间上定义一维标准布朗运动 $w (t) = {w_{t}}_{t \geq 0}$ ，由布朗运动 $w (t)$ 所生成的自然滤子记为 ${f_{t}}_{t \geq 0}$ ， $t \geq 0$ 。本文讨论一类平均场型随机微分方程形如：

${\begin{cases} d x (t) = b (t, x (t), e x (t)) d t σ (t, x (t), e x (t)) d w (t), t \in [0, \infty), \\ x (0) = ξ . p - a . s .. \end{cases}$ (2.1)

其中 $x (t) = x (t, ω) : [0, \infty) \times ω \to r$ 是连续实值 ${f_{t}}_{t \geq 0}$ -适应的随机过程， $e x (t)$ 表示 $x (t)$ 关于概率测度p的数学期望，初值 $ξ : ω \to r$ 是 $f_{0}$ -可测的随机变量。此外系统中的系数 $b (\cdot, \cdot, \cdot) \in a (r)$ 和 $σ (\cdot, \cdot, \cdot) \in a (r)$ ，这里

$a (r) = {η : [0, \infty) \times c ([0, \infty); r) \times c ([0, \infty); r) \to r | η 为 {(b_{t_{}} (w))}_{t \geq 0} 循序可测的随机过程}$ ，

其中 $c ([0, \infty); r)$ 表示由所有连续函数 $φ : [0, \infty) \to r$ 组成的集合，且

${(b_{t_{}} (w))}_{t \geq 0} = {(\underset{s > t}{\cap} σ (b (w_{s})))}_{t \geq 0}$ ，

其中 $w_{s} ≜ {β (\cdot \land s) | β (\cdot) \in c ([0, \infty); r)}$ ， $b (w_{s})$ 为由在 $w_{s}$ 上的所有开集所组成的borel $σ$ 域， $σ (b (w_{s}))$ 表示包含 $b (w_{s})$ 的最小 $σ$ 域。

由于随机系统的特性，随机微分方程的解分为强解和弱解，解的唯一性也分为强唯一和弱唯一。本文关注方程(2.1)强解的存在性和强唯一性，下面给出强解和强唯一的定义。

定义2.1给定滤子概率空间 $(ω, f, {f_{t}}_{t \geq 0}, p)$ 和定义在其上的一维 ${f_{t}}_{t \geq 0}$ 适应的标准布朗运动 $w (t)$ ，已知 $ξ$ 是 $f_{0}$ -可测的随机变量。

(i) 如果存在 ${f_{t}}_{t \geq 0}$ -适应的连续过程 $x (t)$ ， $t \geq 0$ ，满足：

$x (0) = ξ, p - a . s .$ ；

$\int_{0}^{t} {| b (s, x (s), e x (s)) | {| σ (s, x (s), e x (s)) |}^{2}} d s < \infty, \forall t \geq 0, p - a . s .$

和

$x (t) = x (0) \int_{0}^{t} b (s, x (s), e x (s)) d s \int_{0}^{t} σ (s, x (s), e x (s)) d w (s), t \geq 0, p - a . s .$ ，

则称 $x (t)$ ， $t \geq 0$ ，是方程(2.1)的一个强解。

(ii) 对于 $t \geq 0$ ，令 $x (t)$ 和 $y (t)$ 是方程(2.1)的两个强解，若满足

$p (x (t) = y (t), 0 \leq t < \infty) = 1,$

则称方程(2.1)的强解是唯一的或者方程(2.1)的强唯一性成立。

为得到方程(2.1)的存在唯一性定理，现给出方程(2.1)强解的存在唯一性条件：

假设1方程(2.1)中的系数 $b (t, x (\cdot), e x (\cdot)) \in a (r)$ 和 $σ (t, x (\cdot), e x (\cdot)) \in a (r)$ 关于 $x (\cdot)$ 和 $e x (\cdot)$ 是lipschitz连续的，即存在常数 $l > 0$ ，使得

和

对任意 $x (\cdot) \in c ([0, \infty); r)$ 和 $y (\cdot) \in c ([0, \infty); r)$ 成立， $t \in [0, \infty)$ 。此外，对于任意 $t > 0$ ，有

$| b (\cdot, 0, 0) | | σ (\cdot, 0, 0) | \in l^{2} (0, t; r)$ ，

这里 $l^{2} (0, t; r)$ 表示由勒贝格可测函数 $φ : [0, t] \to r$ 且满足 $\int_{0}^{t} {| φ (t) |}^{2} d t < \infty$ 所组成的集合。

burkholder-davis-gundy不等式是itô积分理论中的经典结果，在本文主要结果的推导中起到了关键作用，在引理2.2中给出burkholder-davis-gundy不等式，关于其详细介绍可参考文献 [12] 。

引理2.2 (burkholder-davis-gundy不等式)令 $w (t)$ 为定义在滤子概率空间 $(ω, f, {f_{t}}_{t \geq 0}, p)$ 上的标准布朗运动，假设 $σ \in l_{f}^{2, l o c} (0, t; r)$ ，其中

$l_{f}^{2, l o c} (0, t; r) = {x : [0, t] \times ω \to r | x (\cdot) 是 {f_{t}}_{t \geq 0} - 适应的且 \int_{0}^{t} {| x (t) |}^{2} d t < \infty, p - a . s .}$ 。

则对任意 $r > 0$ ，存在一个常数 $k_{r} > 0$ ，使得

$\frac{1}{k_{r}} e {\int_{0}^{ϖ} {| σ (s) |}^{2} d s}^{r} \leq e {\sup_{0 \leq t \leq τ} {| \int_{0}^{ϖ} σ (s) d w (s) |}^{2 r}} \leq k_{r} e {\int_{0}^{ϖ} {| σ (s) |}^{2} d s}^{r}$

对任意停时 $ϖ$ 成立。

压缩映射定理是本文证明方程(2.1)存在唯一性定理的主要工具，现在引理2.3中给出压缩映射定理(参考文献 [13] )。

引理2.3 (压缩映射定理)设 $(x, d)$ 为非空的完备度量空间。设 $t : x \to x$ 为x上的一个压缩映射，也就是说，存在一个非负的实数 $q < 1$ ，使得对于所有x内的x和y，都有

$d (t (x), t (y)) \leq q \cdot d (x, y)$ .

那么映射t在x内有且只有一个不动点x，即

$t x = x$ .

3. 主要结果

本节主要给出方程(2.1)的强解存在唯一性定理，并利用压缩映射定理加以证明。为使用压缩映射定理。引入泛函空间

$\begin{matrix} l_{f}^{l} [0, τ] : = l_{f}^{l} (ω; c ([0, τ]; r)) \\ = {x : [0, τ] \times ω \to r | x (\cdot) 连续随机过程且是 {f_{t}}_{t \geq 0} - 适应的, 并满足 e (\sup_{0 \leq t \leq τ} {| x (t) |}^{l}) < \infty} \end{matrix}$ (3.1)

其中 $l \geq 1$ ， $0 \leq τ \leq t$ 且 $t > 0$ 是一个固定的时间边界。进一步在其上定义范数

${| x (\cdot) |}_{l_{f}^{l} [0, τ]} : = {e [\sup_{0 \leq t \leq τ} {| x (t) |}^{l}]}^{\frac{1}{l}}$ . (3.2)

可以证明 $l_{f}^{l} [0, τ]$ 是一个banach空间。

下面给出本文的主要结论：方程(2.1)的强解存在唯一性定理。

定理3.1令假设1成立，则对于任意的

$ξ \in l_{f_{0}}^{l} (ω; r) = {α | α 是 r 上取值且 f_{0} - 可测的随机变量, 并且有 e {| α |}^{l} < \infty}$ ， $l \geq 1$

方程(2.1)在 $[0, \infty)$ 上存在唯一的强解 $x (t)$ 。

证明：假设 $t > 0$ 是一个固定的时间边界，考虑方程(2.1)在 $[0, t]$ 上解的存在唯一性。对任意的 $x (\cdot), y (\cdot) \in l_{f}^{l} [0, τ]$ ， $0 \leq τ \leq t$ ，定义

${\begin{cases} x (t) = ξ \int_{0}^{t} b (s, x, e x) d s \int_{0}^{t} σ (s, x, e x) d w (s), \\ y (t) = ξ \int_{0}^{t} b (s, y, e y) d s \int_{0}^{t} σ (s, y, e y) d w (s), t \in [0, τ] . \end{cases}$ (3.3)

首先证明

${| x (\cdot) |}_{l_{f}^{l} [0, τ]}^{l} \leq k, l \geq 1$ . (3.4)

具体来说，利用范数不等式可得

$\begin{matrix} {| x (\cdot) |}_{l_{f}^{l} [0, τ]}^{l} = {| ξ \int_{0}^{\cdot} b (s, x, e x) d s \int_{0}^{\cdot} σ (s, x, e x) d w (s) |}_{l_{f}^{l} [0, τ]}^{l} \\ \leq k ({| ξ |}_{l_{f}^{l} [0, τ]}^{l} {| \int_{0}^{\cdot} b (s, x, e x) d s |}_{l_{f}^{l} [0, τ]}^{l} {| \int_{0}^{\cdot} σ (s, x, e x) d w (s) |}_{l_{f}^{l} [0, τ]}^{l}) . \end{matrix}$ (3.5)

根据(3.2)可得

${| ξ |}_{l_{f}^{l} [0, τ]}^{l} = e [\sup_{0 \leq t \leq τ} {| ξ |}^{l}] = e {| ξ |}^{l} \leq k_{1}$ . (3.6)

利用(3.2)和绝对值不等式，有

${| \int_{0}^{\cdot} b (s, x, e x) d s |}_{l_{f}^{l} [0, τ]}^{l} = e [\sup_{0 \leq t \leq τ} {| \int_{0}^{t} b (s, x, e x) d s |}^{l}] \leq e [{(\int_{0}^{τ} | b (s, x, e x) | d s)}^{l}]$ .

holder不等式保证了

${[\int_{0}^{τ} | b (s, x, e x) | d s]}^{l} \leq {[\int_{0}^{τ} {| b (s, x, e x) |}^{2} d s]}^{\frac{l}{2}}$ ,

故

${| \int_{0}^{\cdot} b (s, x, e x) d s |}_{l_{f}^{l} [0, τ]}^{l} \leq e [{(\int_{0}^{τ} {| b (s, x, e x) |}^{2} d s)}^{\frac{l}{2}}]$ .

进一步根据假设1得到

${| \int_{0}^{\cdot} b (s, x, e x) d s |}_{l_{f}^{l} [0, τ]}^{l} \leq e [{(\int_{0}^{τ} {| b (s, x, e x) |}^{2} d s)}^{\frac{l}{2}}] \leq k_{2}$ . (3.7)

利用burkholder-davis-gundy不等式得

${| \int_{0}^{\cdot} σ (s, x, e x) d w (s) |}_{l_{f}^{l} [0, τ]}^{l} = e [\sup_{0 \leq t \leq τ} {| \int_{0}^{t} σ (s, x, e x) d w (s) |}^{2 \cdot \frac{l}{2}}] \leq k_{\frac{l}{2}} e [{(\int_{0}^{τ} {| σ (s, x, e x) |}^{2} d s)}^{\frac{l}{2}}],$

而由假设知 $| σ (\cdot, 0, 0) | \in l^{2} (0, t; r)$ ，那么

$e [{(\int_{0}^{τ} {| σ (s, x, e x) |}^{2} d s)}^{\frac{l}{2}}] \leq k_{r}$

成立，因此

${| \int_{0}^{\cdot} σ (s, x, e x) d w (s) |}_{l_{f}^{l} [0, τ]}^{l} \leq k_{3}$ .(3.8)

综上所述，结合(3.5)~(3.8)得

${| x (\cdot) |}_{l_{f}^{l} [0, τ]}^{l} \leq k$ . (3.9)

接下来要证明

${| x (\cdot) - y (\cdot) |}_{l_{f}^{l} [0, τ]}^{l} \leq k {τ^{\frac{l}{2}} {| x (\cdot) - y (\cdot) |}_{l_{f}^{l} [0, τ]}^{l}}$ .(3.10)

由 $x (t)$ 和 $y (t)$ 的表达式可得：

$\begin{array}{l} {| x (\cdot) - y (\cdot) |}_{l_{f}^{l} [0, τ]}^{l} \\ = {| (ξ \int_{0}^{\cdot} b (s, x, e x) d s \int_{0}^{\cdot} σ (s, x, e x) d w (s)) - (ξ \int_{0}^{\cdot} b (s, y, e y) d s \int_{0}^{\cdot} σ (s, y, e y) d w (s)) |}_{l_{f}^{l} [0, τ]}^{l} \\ = {| (\int_{0}^{\cdot} b (s, x, e x) d s - \int_{0}^{\cdot} b (s, y, e y) d s) (\int_{0}^{\cdot} σ (s, x, e x) d w (s) - \int_{0}^{\cdot} σ (s, y, e y) d w (s)) |}_{l_{f}^{l} [0, τ]}^{l} . \end{array}$

由范数不等式和(3.2)式，有

$\begin{matrix} {| x (\cdot) - y (\cdot) |}_{l_{f}^{l} [0, τ]}^{l} \leq {| \int_{0}^{\cdot} (b (s, x, e x) - b (s, y, e y)) d s |}_{l_{f}^{l} [0, τ]}^{l} {| \int_{0}^{\cdot} (σ (s, x, e x) - σ (s, y, e y)) d w (s) |}_{l_{f}^{l} [0, τ]}^{l} \\ = i_{1} i_{2}, \end{matrix}$

其中

$i_{1} = e [\sup_{0 \leq t \leq τ} {| \int_{0}^{t} (b (s, x, e x) - b (s, y, e y)) d s |}^{l}]$ (3.11)

和

$i_{2} = e [\sup_{0 \leq t \leq τ} {| \int_{0}^{t} (σ (s, x, e x) - σ (s, y, e y)) d w (s) |}^{l}]$ .(3.12)

先考虑(3.11)，利用绝对值不等式和假设1有

$\begin{array}{l} {| \int_{0}^{t} (b (s, x (\cdot), e x (\cdot)) - b (s, y (\cdot), e [y (\cdot)])) d s |}^{l} \\ \leq {[\int_{0}^{t} | b (s, x (\cdot), e x (\cdot)) - b (s, y (\cdot), e y (\cdot)) | d s]}^{l} \\ \leq {[\int_{0}^{t} (l_{1} | x (\cdot) - y (\cdot) | l_{2} | e x (\cdot) - e y (\cdot) |) d s]}^{l} \\ \leq l_{l} {[\int_{0}^{t} (l_{1} | x (\cdot) - y (\cdot) |) d s]}^{l} l_{l} {[\int_{0}^{t} (l_{2} | e x (\cdot) - e y (\cdot) |) d s]}^{l} . \end{array}$

将其代入到(3.11)可得

$\begin{array}{l} e [\sup_{0 \leq t \leq τ} {| \int_{0}^{t} (b (s, x, e x) - b (s, y, e y)) d s |}^{l}] \\ \leq e {\sup_{0 \leq t \leq τ} [l_{l} {[\int_{0}^{t} (l_{1} | x (\cdot) - y (\cdot) |) d s]}^{l} l_{l} {[\int_{0}^{t} (l_{2} | e x (\cdot) - e y (\cdot) |) d s]}^{l}]} \\ \leq k {e [\sup_{0 \leq t \leq τ} {(\int_{0}^{t} | x (\cdot) - y (\cdot) | d s)}^{l}] e [\sup_{0 \leq t \leq τ} {(\int_{0}^{t} | e x (\cdot) - e y (\cdot) | d s)}^{l}]} . \end{array}$

因为

$e [\sup_{0 \leq t \leq τ} {(\int_{0}^{t} | x (\cdot) - y (\cdot) | d s)}^{l}] = τ^{l} \cdot {| x (\cdot) - y (\cdot) |}_{l_{f}^{l} [0, τ]}^{l}$

和

$e [\sup_{0 \leq t \leq τ} {(\int_{0}^{t} | e x (\cdot) - e y (\cdot) | d s)}^{l}] = τ^{l} \cdot {| e [x (\cdot) - y (\cdot)] |}_{l_{f}^{l} [0, τ]}^{l} = τ^{l} \cdot {| x (\cdot) - y (\cdot) |}_{l_{f}^{l} [0, τ]}^{l}$ ，

所以

$e [\sup_{0 \leq t \leq τ} {| \int_{0}^{t} (b (s, x, e x) - b (s, y, e y)) d s |}^{l}] \leq τ^{l} \cdot {| x (\cdot) - y (\cdot) |}_{l_{f}^{l} [0, τ]}^{l}$ .(3.13)

再考虑(3.12)，首先根据burkholder-davis-gundy不等式，有

$e [\sup_{0 \leq t \leq τ} {| \int_{0}^{t} (σ (s, x, e x) - σ (s, y, e y)) d w (s) |}^{2 \times \frac{l}{2}}] \leq k_{\frac{l}{2}} \cdot e {\int_{0}^{τ} {| σ (s, x, e x) - σ (s, y, e y) |}^{2} d s}^{\frac{l}{2}}$ . (3.14)

结合假设1和均值不等式，有

$\begin{matrix} {| σ (s, x (\cdot), e x (\cdot)) - σ (s, y (\cdot), e y (\cdot)) |}^{2} \leq {l_{1} | x (\cdot) - y (\cdot) | l_{2} | e x (\cdot) - e y (\cdot) |}^{2} \\ \leq \frac{1}{2} l_{1}^{2} \cdot {| x (\cdot) - y (\cdot) |}^{2} \frac{1}{2} l_{2}^{2} \cdot {| e x (\cdot) - e y (\cdot) |}^{2} . \end{matrix}$

则其积分满足

$\int_{0}^{τ} {| σ (s, x (\cdot), e x (\cdot)) - σ (s, y (\cdot), e y (\cdot)) |}^{2} d s \leq \frac{1}{2} l_{1}^{2} \int_{0}^{τ} {| x (\cdot) - y (\cdot) |}^{2} d s \frac{1}{2} l_{2}^{2} \int_{0}^{τ} {| e x (\cdot) - e y (\cdot) |}^{2} d s$ .

所以(3.14)可以写为

$\begin{array}{l} k_{\frac{l}{2}} \cdot e {\int_{0}^{τ} {| σ (s, x, e x) - σ (s, y, e y) |}^{2} d s}^{\frac{l}{2}} \\ \leq k_{\frac{l}{2}} \cdot e {\frac{1}{2} l_{1}^{2} \int_{0}^{τ} {| x (\cdot) - y (\cdot) |}^{2} d s \frac{1}{2} l_{2}^{2} \int_{0}^{τ} {| e x (\cdot) - e y (\cdot) |}^{2} d s}^{\frac{l}{2}} \\ \leq k {e {[\int_{0}^{τ} {| x (\cdot) - y (\cdot) |}^{2} d s]}^{\frac{l}{2}} e {[\int_{0}^{τ} {| e x (\cdot) - e y (\cdot) |}^{2} d s]}^{\frac{l}{2}}} \\ \leq k {e [\int_{0}^{τ} {| x (\cdot) - y (\cdot) |}^{l} d s] e [\int_{0}^{τ} {| e [x (\cdot) - y (\cdot)] |}^{l} d s]} \\ \leq k {e [\int_{0}^{τ} {| x (\cdot) - y (\cdot) |}^{l} d s]} . \end{array}$

因此可得

$e [\sup_{0 \leq t \leq τ} {| \int_{0}^{t} (σ (s, x, e x) - σ (s, y, e y)) d w (s) |}^{l}] \leq k {e [\int_{0}^{τ} {| x (\cdot) - y (\cdot) |}^{l} d s]} \leq k τ^{l} {| x (\cdot) - y (\cdot) |}_{l_{f}^{l} [0, τ]}^{l} .$ (3.15)

结合(3.13)和(3.15)有

${| x (\cdot) - y (\cdot) |}_{l_{f}^{l} [0, τ]}^{l} \leq i_{1} i_{2} \leq k {τ^{\frac{^{l}}{2}} \cdot {| x (\cdot) - y (\cdot) |}_{l_{f}^{l} [0, τ]}^{l}}$ (3.16)

其中k与 $τ, ξ, x (\cdot), y (\cdot)$ 无关。

综上所述，令 $k τ^{\frac{l}{2}} < 1$ ，结合(3.9)和(3.16)可知：对于 $\forall ξ \in l_{f_{0}}^{l} (ω; r)$ ， $l \geq 1$ ，由(3.3)所定义的映射 $x (\cdot) \mapsto x (\cdot)$ 是从 $l_{f}^{l} [0, τ]$ 到自身的压缩映射，根据压缩映射定理可知，在 $[0, τ]$ 上存在唯一的不动点，由此可得方程(2.1)在 $[0, τ]$ 上存在唯一的强解 $x (\cdot)$ 。

将时间区间 $[0, t]$ 划分为 $[τ, 2 τ] \cup [2 τ, 3 τ] \cup \dots \cup [(n - 1) τ, t]$ ，分别在 $[τ, 2 τ], [2 τ, 3 τ], \dots, [(n - 1) τ, t]$ 上重复上述过程，即可得方程(2.1)在 $[0, t]$ 上存在唯一的强解。

由于 $t > 0$ 的任意性，因此可以得到在 $[0, \infty)$ 上的强解。

4. 结论

本文讨论了一类平均场型随机微分方程强解的存在唯一性，现有文献中此类问题研究的主要方法是迭代方法，与现有文献不同，本文采用了压缩映射定理这一理论工具，证明了当系统的系数关于状态和平均场满足lipschitz连续且初值变量 $ξ \in l_{f_{0}}^{l} (ω; r)$ ( $l \geq 1$ )时，方程的强解具有存在唯一性。本文借鉴了文献 [9] 的证明方法，由于本文讨论的平均场型随机系统同时含有状态和其数学期望，可退化为文献 [9] 所研究的itô型随机微分方程，因此本文的结果可视为文献 [9] 结论向平均场型随机系统的进一步推广。文献 [10] 同样利用压缩映射定理证明了一类条件平均场型随机微分方程解的存在唯一性，而本文和文献 [10] 使用的泛函空间和范数不同，具体来说，文献 [10] 的压缩映射定义在 $l^{2}$ 空间，其上定义的范数为 ${‖ x (\cdot) ‖}_{β} = {(e [\int_{0}^{t} e^{- β t} {| x (t) |}^{2} d t])}^{\frac{1}{2}}, β > 0$ ；本文压缩映射存在的泛函空间为 $l_{f}^{l} [0, τ]$ 且其上的范数为 ${| \cdot |}_{l_{f}^{l} [0, τ]}$ 。

基金项目

辽宁省自然科学基金指导计划项目(2019-zd-0087)。

notes

^*通讯作者。

参考文献

[1]	金丽霞, 吴曙东, 詹志明, 陈爱喜. 准二维谐振势阱中有限尺度的非理想玻色气体[j]. 华中科技大学学报, 2002(11): 102-104.
[2]	蔡天缘. 内部交易下随机时滞微分方程的平均场最大值原理[d]: [硕士学位论文]. 长春: 长春工业大学, 2023.
[3]	evans, l.c. (1999) an introduction to stochastic differential equations. department of mathematics university of california, berkeley.
[4]	陈晨, 张引娣, 任丽梅. 几种随机微分方程解的存在性与唯一性[j]. 应用数学进展, 2015, 4(1): 37-45.
[5]	vu, h., an, v. and hoa, v. (2019) random fractional differential equations with riemann-liouville-type fuzzy differentiability concept. journal of intelligent & fuzzy systems, 36, 6467-6480.
[6]	刘存霞. g-布朗运动驱动的随机微分方程的全局渐进稳定性[j]. 烟台大学学报, 2024, 37(1): 21-25.
[7]	li, j.s., mi, c., xing, c.z. and zhao, d.h. (2023) general coupled mean-field reflected forward-backward stochastic differential equations. acta mathematica scientia, 43b, 2234-2262.
[8]	bahaj, f. and hiderah, k. (2024) existence and uniqueness of solutions for perturbed stochastic differential equations with reflected boundary. monte carlo methods and applications, 30, 31-41.
[9]	yong, j. and zhou, x.y. (1999) stochastic control: hamiltonian systems and hjb equations. springer, new york.
[10]	吴霜. 条件平均场随机微分方程的最优控制问题[j]. 数学年刊a辑, 2021, 42(1): 75-88.
[11]	唐浦森, 陈琳. 具有时滞的模糊分数阶随机微分方程的存在性[j]. 运筹与模糊学, 2023, 13(6): 6277-6288.
[12]	karatzas, i. and shreve, s.e. (1984) connections between optimal stopping and singular stochastic control i, monotone follower problems. siam journal on control and optimization, 22, 856-877.
[13]	granas, a. and dugundji, j. (2003) fixed point theory. springer-verlag, new york.

为你推荐

凯发娱乐注册的友情链接