<p>We show that if the transition operator <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10225_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\( \mathbb P_{\;\!\!\text {t}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">P</mi> <mrow> <mspace width="0.277778em" /> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mtext>t</mtext> </mrow> </msub> </math></EquationSource> </InlineEquation> of a continuous time-homogeneous (strong) Markov process <i>X</i> in <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10225_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\( I\!\!R^n \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>I</mi> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <msup> <mi>R</mi> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> maps infinitely differentiable functions with compact support to twice continuously differentiable functions for <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10225_Article_IEq3.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\( t\! &gt;\! 0 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mspace width="-0.166667em" /> <mo>&gt;</mo> <mspace width="-0.166667em" /> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, then the action of the infinitesimal operator <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10225_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\( \mathbb {A} \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">A</mi> </math></EquationSource> </InlineEquation> of <i>X</i> on its domain coincides with the action of the differential operator <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10225_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\( \mathbb {D} \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">D</mi> </math></EquationSource> </InlineEquation> of <i>X</i> understood in the sense of Schwartz distributions. Applying this fact to the process <i>X</i> stopped at the first exit time from a given open subset <i>C</i> of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10225_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\( I\!\!R^n \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>I</mi> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <msup> <mi>R</mi> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>, we derive that the solution to Dynkin’s characteristic operator equation of <i>X</i> arising from the Dirichlet problem on <i>C</i> can be viewed as a weak solution to the differential operator equation of <i>X</i> in the sense of Schwartz distributions. A useful consequence of this identification is that the solution is infinitely differentiable on <i>C</i> whenever the drift and diffusion coefficients are infinitely differentiable and the differential operator <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10225_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\( \mathbb D\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">D</mi> </math></EquationSource> </InlineEquation> of <i>X</i> is hypoelliptic (e.g. when <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10225_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\( \mathbb D\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">D</mi> </math></EquationSource> </InlineEquation> satisfies the Hörmander condition). In particular, this is satisfied when <i>X</i> is a degenerate diffusion process in <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10225_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\( I\!\!R^n \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>I</mi> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <msup> <mi>R</mi> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> (in the sense that <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10225_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\( \mathbb D\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">D</mi> </math></EquationSource> </InlineEquation> is a degenerate parabolic operator) so that the analytic existence results for parabolic PDEs are generally not available. The arguments and results extend to cover more general boundary value problems of this kind including the initial value problems as well.</p>

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

Weak Solutions in the Sense of Schwartz to Dynkin’s Characteristic Operator Equation

  • Goran Peskir

摘要

We show that if the transition operator \( \mathbb P_{\;\!\!\text {t}}\) P t of a continuous time-homogeneous (strong) Markov process X in \( I\!\!R^n \) I R n maps infinitely differentiable functions with compact support to twice continuously differentiable functions for \( t\! >\! 0 \) t > 0 , then the action of the infinitesimal operator \( \mathbb {A} \) A of X on its domain coincides with the action of the differential operator \( \mathbb {D} \) D of X understood in the sense of Schwartz distributions. Applying this fact to the process X stopped at the first exit time from a given open subset C of \( I\!\!R^n \) I R n , we derive that the solution to Dynkin’s characteristic operator equation of X arising from the Dirichlet problem on C can be viewed as a weak solution to the differential operator equation of X in the sense of Schwartz distributions. A useful consequence of this identification is that the solution is infinitely differentiable on C whenever the drift and diffusion coefficients are infinitely differentiable and the differential operator \( \mathbb D\) D of X is hypoelliptic (e.g. when \( \mathbb D\) D satisfies the Hörmander condition). In particular, this is satisfied when X is a degenerate diffusion process in \( I\!\!R^n \) I R n (in the sense that \( \mathbb D\) D is a degenerate parabolic operator) so that the analytic existence results for parabolic PDEs are generally not available. The arguments and results extend to cover more general boundary value problems of this kind including the initial value problems as well.