<p>In this paper we consider the following non-linear stochastic partial differential equation (SPDE): <Equation ID="Equ27"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1046_Article_Equ27.gif" Format="GIF" Height="64" Rendition="HTML" Resolution="72" Type="Linedraw" Width="487" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} {\left\{ \begin{array}{ll} \textrm{d}u(s,x)=\sum ^n_{i=1} \mathscr {L}_i u(s,x)\circ \textrm{d}W_i(s)\\ \qquad \qquad +\left( V(x)+\mu \Delta u(s,x)-\frac{1}{2}\vert \nabla u(s,x)\vert ^2\right) \textrm{d}s, \quad &amp; \text {in } (0,T)\times {\mathbb {T}}^n,\\ u(0,x)=u_0(x),\quad \text {on } {\mathbb {T}}^n, \end{array}\right. } \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd columnalign="left"> <mrow> <mtext>d</mtext> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>s</mi> <mo>,</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msubsup> <mo>∑</mo> <mrow> <mi>i</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>n</mi> </msubsup> <msub> <mi mathvariant="script">L</mi> <mi>i</mi> </msub> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>s</mi> <mo>,</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>∘</mo> <mtext>d</mtext> <msub> <mi>W</mi> <mi>i</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <mspace width="2em" /> <mspace width="2em" /> <mo>+</mo> <mfenced close=")" open="("> <mi>V</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi>μ</mi> <mi mathvariant="normal">Δ</mi> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>s</mi> <mo>,</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> <msup> <mrow> <mo stretchy="false">|</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>s</mi> <mo>,</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> </mfenced> <mtext>d</mtext> <mi>s</mi> <mo>,</mo> <mspace width="1em" /> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mtext>in</mtext> <mspace width="0.333333em" /> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> <mo>×</mo> <msup> <mrow> <mi mathvariant="double-struck">T</mi> </mrow> <mi>n</mi> </msup> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mi>u</mi> <mn>0</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mspace width="1em" /> <mtext>on</mtext> <mspace width="0.333333em" /> <msup> <mrow> <mi mathvariant="double-struck">T</mi> </mrow> <mi>n</mi> </msup> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1046_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {T}}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">T</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> is the <i>n</i>-dimensional torus, the functions <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1046_Article_IEq2.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="107" /> </InlineMediaObject> <EquationSource Format="TEX">\(u_0, V: {\mathbb {T}}^n \rightarrow \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>u</mi> <mn>0</mn> </msub> <mo>,</mo> <mi>V</mi> <mo>:</mo> <msup> <mrow> <mi mathvariant="double-struck">T</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> are given and <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1046_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{\mathscr {L}_i\}_i\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">{</mo> <msub> <mi mathvariant="script">L</mi> <mi>i</mi> </msub> <mo stretchy="false">}</mo> </mrow> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> is a collection of first order linear operators. This can be seen as a Cauchy problem for a Hamilton-Jacobi-Bellman equation with transport noise in any space dimension. We introduce the concept of a strong solution from the realm of PDEs and establish the existence and uniqueness of maximal solutions (strong solutions upto a stopping time). Moreover, for a particular class of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1046_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{\mathscr {L}_i\}_i\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">{</mo> <msub> <mi mathvariant="script">L</mi> <mi>i</mi> </msub> <mo stretchy="false">}</mo> </mrow> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> we establish global well-posedness of strong solutions. The proof relies on studying an associated truncated version of the original SPDE and showing its global well-posedness in the class of strong solutions.</p>

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

On the well-posedness of a Hamilton–Jacobi–Bellman equation with transport noise

  • Neeraj Bhauryal,
  • Ana Bela Cruzeiro,
  • Carlos Oliveira

摘要

In this paper we consider the following non-linear stochastic partial differential equation (SPDE): \(\begin{aligned} {\left\{ \begin{array}{ll} \textrm{d}u(s,x)=\sum ^n_{i=1} \mathscr {L}_i u(s,x)\circ \textrm{d}W_i(s)\\ \qquad \qquad +\left( V(x)+\mu \Delta u(s,x)-\frac{1}{2}\vert \nabla u(s,x)\vert ^2\right) \textrm{d}s, \quad & \text {in } (0,T)\times {\mathbb {T}}^n,\\ u(0,x)=u_0(x),\quad \text {on } {\mathbb {T}}^n, \end{array}\right. } \end{aligned}\) d u ( s , x ) = i = 1 n L i u ( s , x ) d W i ( s ) + V ( x ) + μ Δ u ( s , x ) - 1 2 | u ( s , x ) | 2 d s , in ( 0 , T ) × T n , u ( 0 , x ) = u 0 ( x ) , on T n , where \({\mathbb {T}}^n\) T n is the n-dimensional torus, the functions \(u_0, V: {\mathbb {T}}^n \rightarrow \mathbb {R}\) u 0 , V : T n R are given and \(\{\mathscr {L}_i\}_i\) { L i } i is a collection of first order linear operators. This can be seen as a Cauchy problem for a Hamilton-Jacobi-Bellman equation with transport noise in any space dimension. We introduce the concept of a strong solution from the realm of PDEs and establish the existence and uniqueness of maximal solutions (strong solutions upto a stopping time). Moreover, for a particular class of \(\{\mathscr {L}_i\}_i\) { L i } i we establish global well-posedness of strong solutions. The proof relies on studying an associated truncated version of the original SPDE and showing its global well-posedness in the class of strong solutions.