<p>Let <i>V</i>,&#xa0;<i>H</i> be two separable Hilbert spaces, and <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(T&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. We consider a stochastic differential equation which evolves in the Hilbert space <i>H</i> of the form <Equation ID="Equ1"> <EquationNumber>1</EquationNumber> <EquationSource Format="TEX">\(\begin{aligned} dX(t)=AX(t)dt+{\mathscr {L}}B(X(t))dt+GdW(t), \quad t\in [0,T], \quad X(0)=x \in H, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi>d</mi> <mi>X</mi> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi>A</mi> <mi>X</mi> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> <mi>d</mi> <mi>t</mi> <mo>+</mo> <mi mathvariant="script">L</mi> <mi>B</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> <mi>d</mi> <mi>t</mi> <mo>+</mo> <mi>G</mi> <mi>d</mi> <mi>W</mi> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> <mo>,</mo> <mspace width="1em" /> <mi>t</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mi>T</mi> <mo stretchy="false">]</mo> <mo>,</mo> <mspace width="1em" /> <mi>X</mi> <mo stretchy="false">(</mo> <mn>0</mn> <mo stretchy="false">)</mo> <mo>=</mo> <mi>x</mi> <mo>∈</mo> <mi>H</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(A:D(A)\subseteq H\rightarrow H\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>:</mo> <mi>D</mi> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> <mo>⊆</mo> <mi>H</mi> <mo stretchy="false">→</mo> <mi>H</mi> </mrow> </math></EquationSource> </InlineEquation> is a linear operator and the infinitesimal generator of a strongly continuous semigroup <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\{e^{tA}\}_{t\ge 0}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">{</mo> <msup> <mi>e</mi> <mrow> <mi mathvariant="italic">tA</mi> </mrow> </msup> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>t</mi> <mo>≥</mo> <mn>0</mn> </mrow> </msub> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(W=\{W(t)\}_{t\ge 0}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>W</mi> <mo>=</mo> <msub> <mrow> <mo stretchy="false">{</mo> <mi>W</mi> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>t</mi> <mo>≥</mo> <mn>0</mn> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> is a <i>V</i>-cylindrical Wiener process defined on a normal filtered probability space <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\((\Omega ,\mathcal {F},\{\mathcal {F}_t\}_{t\in [0,T]},\mathbb {P})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo>,</mo> <mi mathvariant="script">F</mi> <mo>,</mo> <msub> <mrow> <mo stretchy="false">{</mo> <msub> <mi mathvariant="script">F</mi> <mi>t</mi> </msub> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>t</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mi>T</mi> <mo stretchy="false">]</mo> </mrow> </msub> <mo>,</mo> <mi mathvariant="double-struck">P</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(B:H\rightarrow H\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>B</mi> <mo>:</mo> <mi>H</mi> <mo stretchy="false">→</mo> <mi>H</mi> </mrow> </math></EquationSource> </InlineEquation> is a bounded and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\theta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>θ</mi> </math></EquationSource> </InlineEquation>-Hölder continuous function, for some suitable <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\theta \in (0,1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>θ</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\({\mathscr {L}}:H\rightarrow H\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">L</mi> <mo>:</mo> <mi>H</mi> <mo stretchy="false">→</mo> <mi>H</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(G:V\rightarrow H\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>:</mo> <mi>V</mi> <mo stretchy="false">→</mo> <mi>H</mi> </mrow> </math></EquationSource> </InlineEquation> are linear bounded operators. We prove that, under suitable assumptions on the coefficients, the weak mild solution to equation (1) depends on the initial datum in a Lipschitz way. This implies that for (1), pathwise uniqueness holds. Here, the presence of the operator <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\({\mathscr {L}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">L</mi> </math></EquationSource> </InlineEquation> plays a crucial role. In particular, the conditions assumed on the coefficients cover the stochastic damped wave equation in dimension 1 and the stochastic damped Euler–Bernoulli Beam equation up to dimension 3 even in the hyperbolic case.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Pathwise uniqueness in infinite dimension under weak structure condition

  • Davide Addona,
  • Davide A. Bignamini

摘要

Let VH be two separable Hilbert spaces, and \(T>0\) T > 0 . We consider a stochastic differential equation which evolves in the Hilbert space H of the form 1 \(\begin{aligned} dX(t)=AX(t)dt+{\mathscr {L}}B(X(t))dt+GdW(t), \quad t\in [0,T], \quad X(0)=x \in H, \end{aligned}\) d X ( t ) = A X ( t ) d t + L B ( X ( t ) ) d t + G d W ( t ) , t [ 0 , T ] , X ( 0 ) = x H , where \(A:D(A)\subseteq H\rightarrow H\) A : D ( A ) H H is a linear operator and the infinitesimal generator of a strongly continuous semigroup \(\{e^{tA}\}_{t\ge 0}\) { e tA } t 0 , \(W=\{W(t)\}_{t\ge 0}\) W = { W ( t ) } t 0 is a V-cylindrical Wiener process defined on a normal filtered probability space \((\Omega ,\mathcal {F},\{\mathcal {F}_t\}_{t\in [0,T]},\mathbb {P})\) ( Ω , F , { F t } t [ 0 , T ] , P ) , \(B:H\rightarrow H\) B : H H is a bounded and \(\theta \) θ -Hölder continuous function, for some suitable \(\theta \in (0,1)\) θ ( 0 , 1 ) , and \({\mathscr {L}}:H\rightarrow H\) L : H H and \(G:V\rightarrow H\) G : V H are linear bounded operators. We prove that, under suitable assumptions on the coefficients, the weak mild solution to equation (1) depends on the initial datum in a Lipschitz way. This implies that for (1), pathwise uniqueness holds. Here, the presence of the operator \({\mathscr {L}}\) L plays a crucial role. In particular, the conditions assumed on the coefficients cover the stochastic damped wave equation in dimension 1 and the stochastic damped Euler–Bernoulli Beam equation up to dimension 3 even in the hyperbolic case.