<p>Assume that <i>M</i> is a closed, connected and smooth Riemannian manifold. The authors consider the evolutionary Hamilton-Jacobi equation <Equation ID="Equa"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="11401_2025_25_Article_Equa.gif" Format="GIF" Height="54" Rendition="HTML" Resolution="72" Type="Linedraw" Width="461" /> </MediaObject> <EquationSource Format="TEX">\(\begin{cases}\partial_{t}u(x,t)+H(x,u(x,t),\partial_{x}u(x,t))=0, &amp; (x,t) \in M \times (0, +\infty), \\u(x,0)=\varphi(x), &amp;\end{cases}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mo>{</mo> <mtable columnalign="left left" columnspacing="1em" displaystyle="false" rowspacing=".2em"> <mtr> <mtd> <msub> <mi mathvariant="normal">∂</mi> <mrow> <mi>t</mi> </mrow> </msub> <mi>u</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> <mo>+</mo> <mi>H</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>u</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> <mo>,</mo> <msub> <mi mathvariant="normal">∂</mi> <mrow> <mi>x</mi> </mrow> </msub> <mi>u</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> <mo>=</mo> <mn>0</mn> <mo>,</mo> </mtd> <mtd> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> <mo>∈</mo> <mi>M</mi> <mo>×</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mo>+</mo> <mi mathvariant="normal">∞</mi> <mo stretchy="false">)</mo> <mo>,</mo> </mtd> </mtr> <mtr> <mtd> <mi>u</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> <mo>=</mo> <mi>φ</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>,</mo> </mtd> <mtd /> </mtr> </mtable> <mo fence="true" stretchy="true" /> </mrow> </math></EquationSource> </Equation> where <i>φ</i> ∈ <i>C</i>(<i>M</i>) and the stationary one <Equation ID="Equb"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="11401_2025_25_Article_Equb.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="168" /> </MediaObject> <EquationSource Format="TEX">\(H(x,u(x),\partial_{x}u(x))=0,\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mi>H</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>u</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>,</mo> <msub> <mi mathvariant="normal">∂</mi> <mrow> <mi>x</mi> </mrow> </msub> <mi>u</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> <mo>=</mo> <mn>0</mn> <mo>,</mo> </math></EquationSource> </Equation> where <i>H</i>(<i>x,u,p</i>) is continuous, convex and coercive in <i>p</i>, uniformly Lipschitz in <i>u</i>. By introducing a solution semigroup, the authors provide a representation formula of the viscosity solution of the evolutionary equation. As its applications, they obtain a necessary and sufficient condition for the existence of the viscosity solutions of the stationary equations. Moreover, they prove a new comparison theorem depending on the neighborhood of the projected Aubry set essentially, which is different from the one for the Hamilton-Jacobi equation independent of <i>u</i>.</p>

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

A Representation Formula of the Viscosity Solution of the Contact Hamilton-Jacobi Equation and Its Applications

  • Panrui Ni,
  • Lin Wang,
  • Jun Yan

摘要

Assume that M is a closed, connected and smooth Riemannian manifold. The authors consider the evolutionary Hamilton-Jacobi equation \(\begin{cases}\partial_{t}u(x,t)+H(x,u(x,t),\partial_{x}u(x,t))=0, & (x,t) \in M \times (0, +\infty), \\u(x,0)=\varphi(x), &\end{cases}\) { t u ( x , t ) + H ( x , u ( x , t ) , x u ( x , t ) ) = 0 , ( x , t ) M × ( 0 , + ) , u ( x , 0 ) = φ ( x ) , where φC(M) and the stationary one \(H(x,u(x),\partial_{x}u(x))=0,\) H ( x , u ( x ) , x u ( x ) ) = 0 , where H(x,u,p) is continuous, convex and coercive in p, uniformly Lipschitz in u. By introducing a solution semigroup, the authors provide a representation formula of the viscosity solution of the evolutionary equation. As its applications, they obtain a necessary and sufficient condition for the existence of the viscosity solutions of the stationary equations. Moreover, they prove a new comparison theorem depending on the neighborhood of the projected Aubry set essentially, which is different from the one for the Hamilton-Jacobi equation independent of u.