<p>We define the operator <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10208_Article_IEq1.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="115" /> </InlineMediaObject> <EquationSource Format="TEX">\(D^+_VD^-_W:=\Delta _{W,V}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>D</mi> <mi>V</mi> <mo>+</mo> </msubsup> <msubsup> <mi>D</mi> <mi>W</mi> <mo>-</mo> </msubsup> <mo>:</mo> <mo>=</mo> <msub> <mi mathvariant="normal">Δ</mi> <mrow> <mi>W</mi> <mo>,</mo> <mi>V</mi> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> on the one-dimensional torus <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10208_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {T}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">T</mi> </math></EquationSource> </InlineEquation>. Here, <i>W</i> and <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10208_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(V\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>V</mi> </math></EquationSource> </InlineEquation> are functions inducing (possibly atomic) positive Borel measures on <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10208_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {T}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">T</mi> </math></EquationSource> </InlineEquation>, and the derivatives are generalized lateral derivatives. For the first time in this work, the space of test functions <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10208_Article_IEq5.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="60" /> </InlineMediaObject> <EquationSource Format="TEX">\(C^{\infty }_{W,V}(\mathbb {T})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>C</mi> <mrow> <mi>W</mi> <mo>,</mo> <mi>V</mi> </mrow> <mi>∞</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">T</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> emerges as the natural regularity space for solutions of the eigenproblem associated with <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10208_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta _{W,V}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Δ</mi> <mrow> <mi>W</mi> <mo>,</mo> <mi>V</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>. Moreover, these spaces are essential for characterizing the energetic space <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10208_Article_IEq7.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\(H_{W,V}(\mathbb {T})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>H</mi> <mrow> <mi>W</mi> <mo>,</mo> <mi>V</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">T</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> as a Sobolev-type space. By observing that the Sobolev-type spaces <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10208_Article_IEq7.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\(H_{W,V}(\mathbb {T})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>H</mi> <mrow> <mi>W</mi> <mo>,</mo> <mi>V</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">T</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with additional Dirichlet conditions are reproducing kernel Hilbert spaces, we introduce the so-called <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10208_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(W\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>W</mi> </math></EquationSource> </InlineEquation>-Brownian bridges as mean-zero Gaussian processes with associated Cameron-Martin spaces derived from these spaces. This framework allows us to introduce <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10208_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(W\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>W</mi> </math></EquationSource> </InlineEquation>-Brownian motion as a Feller process with a two-parameter semigroup and càdàg sample paths, whose jumps are subordinated to the jumps of <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10208_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(W\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>W</mi> </math></EquationSource> </InlineEquation>. We establish a deep connection between <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10208_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(W\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>W</mi> </math></EquationSource> </InlineEquation>-Brownian motion and these Sobolev-type spaces through their associated Cameron-Martin spaces. Finally, as applications of the developed theory, we demonstrate the existence and uniqueness of related deterministic and stochastic differential equations.</p>

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

One-sided Measure Theoretic Elliptic Operators and Applications to SDEs Driven by Gaussian White Noise with Atomic Intensity

  • Alexandre B. Simas,
  • Kelvin J. R. Sousa

摘要

We define the operator \(D^+_VD^-_W:=\Delta _{W,V}\) D V + D W - : = Δ W , V on the one-dimensional torus \(\mathbb {T}\) T . Here, W and \(V\) V are functions inducing (possibly atomic) positive Borel measures on \(\mathbb {T}\) T , and the derivatives are generalized lateral derivatives. For the first time in this work, the space of test functions \(C^{\infty }_{W,V}(\mathbb {T})\) C W , V ( T ) emerges as the natural regularity space for solutions of the eigenproblem associated with \(\Delta _{W,V}\) Δ W , V . Moreover, these spaces are essential for characterizing the energetic space \(H_{W,V}(\mathbb {T})\) H W , V ( T ) as a Sobolev-type space. By observing that the Sobolev-type spaces \(H_{W,V}(\mathbb {T})\) H W , V ( T ) with additional Dirichlet conditions are reproducing kernel Hilbert spaces, we introduce the so-called \(W\) W -Brownian bridges as mean-zero Gaussian processes with associated Cameron-Martin spaces derived from these spaces. This framework allows us to introduce \(W\) W -Brownian motion as a Feller process with a two-parameter semigroup and càdàg sample paths, whose jumps are subordinated to the jumps of \(W\) W . We establish a deep connection between \(W\) W -Brownian motion and these Sobolev-type spaces through their associated Cameron-Martin spaces. Finally, as applications of the developed theory, we demonstrate the existence and uniqueness of related deterministic and stochastic differential equations.