<p>We show weak existence and uniqueness in law for a general class of stochastic differential equations in <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="28_2025_1076_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="28_2025_1076_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(d\ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, with prescribed sub-invariant measure <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="28_2025_1076_Article_IEq3.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\widehat{\mu }\)</EquationSource> <EquationSource Format="MATHML"><math> <mover accent="true"> <mi>μ</mi> <mo stretchy="true">^</mo> </mover> </math></EquationSource> </InlineEquation>. The dispersion and drift coefficients of the stochastic differential equation are allowed to be degenerate and discontinuous, and locally unbounded, respectively. Uniqueness in law is obtained via <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="28_2025_1076_Article_IEq4.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="66" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^1({\mathbb {R}}^d,\widehat{\mu })\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> <mo>,</mo> <mover accent="true"> <mi>μ</mi> <mo stretchy="true">^</mo> </mover> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>-uniqueness in a subclass of continuous Markov processes, namely right processes that have <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="28_2025_1076_Article_IEq3.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\widehat{\mu }\)</EquationSource> <EquationSource Format="MATHML"><math> <mover accent="true"> <mi>μ</mi> <mo stretchy="true">^</mo> </mover> </math></EquationSource> </InlineEquation> as sub-invariant measure and have continuous paths for <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="28_2025_1076_Article_IEq3.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\widehat{\mu }\)</EquationSource> <EquationSource Format="MATHML"><math> <mover accent="true"> <mi>μ</mi> <mo stretchy="true">^</mo> </mover> </math></EquationSource> </InlineEquation>-almost every starting point. Weak existence is obtained for a broader class via the martingale problem, by first constructing a sub-Markovian <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="28_2025_1076_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(C_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>C</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation>-semigroup of contractions with respect to <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="28_2025_1076_Article_IEq3.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\widehat{\mu }\)</EquationSource> <EquationSource Format="MATHML"><math> <mover accent="true"> <mi>μ</mi> <mo stretchy="true">^</mo> </mover> </math></EquationSource> </InlineEquation> and then applying generalized Dirichlet form theory.</p>

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

Uniqueness in law for singular degenerate SDEs with respect to a (sub-)invariant measure

  • Haesung Lee,
  • Gerald Trutnau

摘要

We show weak existence and uniqueness in law for a general class of stochastic differential equations in \(\mathbb {R}^d\) R d , \(d\ge 1\) d 1 , with prescribed sub-invariant measure \(\widehat{\mu }\) μ ^ . The dispersion and drift coefficients of the stochastic differential equation are allowed to be degenerate and discontinuous, and locally unbounded, respectively. Uniqueness in law is obtained via \(L^1({\mathbb {R}}^d,\widehat{\mu })\) L 1 ( R d , μ ^ ) -uniqueness in a subclass of continuous Markov processes, namely right processes that have \(\widehat{\mu }\) μ ^ as sub-invariant measure and have continuous paths for \(\widehat{\mu }\) μ ^ -almost every starting point. Weak existence is obtained for a broader class via the martingale problem, by first constructing a sub-Markovian \(C_0\) C 0 -semigroup of contractions with respect to \(\widehat{\mu }\) μ ^ and then applying generalized Dirichlet form theory.