<p>A multiple degenerate parabolic equation related to the <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10440_2025_727_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>p</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$p(x,t)$</EquationSource> </InlineEquation>-Laplacian is considered. Since it is with multiple degeneracy, how to obtain the <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10440_2025_727_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi mathvariant="normal">∞</mi> </msup> </math></EquationSource> <EquationSource Format="TEX">$L^{\infty }$</EquationSource> </InlineEquation>-estimate becomes difficult, and the usual Dirichlet boundary value condition may be invalid or overdetermined. By adding some restrictions on the growth order, using the maximum value principle, the corresponding <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10440_2025_727_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi mathvariant="normal">∞</mi> </msup> </math></EquationSource> <EquationSource Format="TEX">$L^{\infty }$</EquationSource> </InlineEquation>-estimate of the weak solution is obtained first time. Since the solution is so weak that its trace on the boundary cannot be defined in the conventional manner. By employing the weak characteristic function method introduced in (Zhan and Feng in J. Differ. Equ. 268:389–413, <CitationRef CitationID="CR68">2020</CitationRef>)), the classical trace in <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10440_2025_727_Article_IEq4.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="72" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msubsup> <mi>W</mi> <mn>0</mn> <mrow> <mn>1</mn> <mo>,</mo> <mi>p</mi> <mo stretchy="false">(</mo> <mo>⋅</mo> <mo stretchy="false">)</mo> </mrow> </msubsup> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$W_{0}^{1,p(\cdot )}(\Omega )$</EquationSource> </InlineEquation> is generalized to the function space <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10440_2025_727_Article_IEq5.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="139" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msubsup> <mi>W</mi> <mrow> <mi>l</mi> <mi>o</mi> <mi>c</mi> </mrow> <mrow> <mn>1</mn> <mo>,</mo> <mi>p</mi> <mo stretchy="false">(</mo> <mo>⋅</mo> <mo stretchy="false">)</mo> </mrow> </msubsup> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> <mo movablelimits="false">⋂</mo> <msup> <mi>L</mi> <mi mathvariant="normal">∞</mi> </msup> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$W_{loc}^{1, p(\cdot )}(\Omega )\bigcap L^{\infty }(\Omega )$</EquationSource> </InlineEquation>. Through this framework, the partial boundary value condition is imposed on a submanifold of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10440_2025_727_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="84" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> <mo>×</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>T</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$\partial \Omega \times (0,T)$</EquationSource> </InlineEquation>, thereby establishing the stability of weak solutions.</p>

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

On Multiple Degenerate Parabolic Equation with Variable Exponent

  • Huashui Zhan

摘要

A multiple degenerate parabolic equation related to the p ( x , t ) $p(x,t)$ -Laplacian is considered. Since it is with multiple degeneracy, how to obtain the L $L^{\infty }$ -estimate becomes difficult, and the usual Dirichlet boundary value condition may be invalid or overdetermined. By adding some restrictions on the growth order, using the maximum value principle, the corresponding L $L^{\infty }$ -estimate of the weak solution is obtained first time. Since the solution is so weak that its trace on the boundary cannot be defined in the conventional manner. By employing the weak characteristic function method introduced in (Zhan and Feng in J. Differ. Equ. 268:389–413, 2020)), the classical trace in W 0 1 , p ( ) ( Ω ) $W_{0}^{1,p(\cdot )}(\Omega )$ is generalized to the function space W l o c 1 , p ( ) ( Ω ) L ( Ω ) $W_{loc}^{1, p(\cdot )}(\Omega )\bigcap L^{\infty }(\Omega )$ . Through this framework, the partial boundary value condition is imposed on a submanifold of Ω × ( 0 , T ) $\partial \Omega \times (0,T)$ , thereby establishing the stability of weak solutions.