<p>We consider a class of porous medium type equations with Caputo time derivative. The prototype problem reads as <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(D^\alpha _t u=-\mathcal {L}u^m\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>D</mi> <mi>t</mi> <mi>α</mi> </msubsup> <mi>u</mi> <mo>=</mo> <mo>-</mo> <mi mathvariant="script">L</mi> <msup> <mi>u</mi> <mi>m</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> and is posed on a bounded Euclidean domain <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\Omega \subset \mathbb {R}^N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> with smooth boundary and zero Dirichlet boundary conditions. The linear operator <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathcal {L}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">L</mi> </math></EquationSource> </InlineEquation> falls within a wide class of either local or nonlocal operators, and the nonlinearity is allowed to be of degenerate or singular type, namely, <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(0&lt;m&lt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>m</mi> <mo>&lt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(m&gt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>&gt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. Using the fractional gradient flow theory, we show existence of unique solution and prove new <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(L^p-L^\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>p</mi> </msup> <mo>-</mo> <msup> <mi>L</mi> <mi>∞</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> smoothing effects by employing the Green function method. The comparison principle, which we provide in the most general setting, serves as a crucial tool in the proof and provides a novel monotonicity formula. To the best of our knowledge, this type of smoothing effects are novel in nonlinear PDEs involving Caputo derivative. Consequently, we establish that the regularizing effect due to the diffusion is stronger than the memory effect introduced by the fractional time derivative. We also prove that the solution satisfies the zero Dirichlet condition pointwise by means of sharp boundary estimates. Finally, we prove that our solution does not vanish in finite time if <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(0&lt;m&lt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>m</mi> <mo>&lt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, unlike the case with the classical time derivative. Indeed, we provide a sharp rate of decay for any <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(L^p\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>p</mi> </msup> </math></EquationSource> </InlineEquation>-norm of the solution for any <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(m&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. Our findings indicate that the difference between slow and fast diffusion is mitigated by the memory effect, which dramatically slows the spatial diffusion.</p>

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

Time-fractional porous medium type equations. sharp time decay and regularization

  • Matteo Bonforte,
  • Maria Gualdani,
  • Peio Ibarrondo

摘要

We consider a class of porous medium type equations with Caputo time derivative. The prototype problem reads as \(D^\alpha _t u=-\mathcal {L}u^m\) D t α u = - L u m and is posed on a bounded Euclidean domain \(\Omega \subset \mathbb {R}^N\) Ω R N with smooth boundary and zero Dirichlet boundary conditions. The linear operator \(\mathcal {L}\) L falls within a wide class of either local or nonlocal operators, and the nonlinearity is allowed to be of degenerate or singular type, namely, \(0<m<1\) 0 < m < 1 and \(m>1\) m > 1 . Using the fractional gradient flow theory, we show existence of unique solution and prove new \(L^p-L^\infty \) L p - L smoothing effects by employing the Green function method. The comparison principle, which we provide in the most general setting, serves as a crucial tool in the proof and provides a novel monotonicity formula. To the best of our knowledge, this type of smoothing effects are novel in nonlinear PDEs involving Caputo derivative. Consequently, we establish that the regularizing effect due to the diffusion is stronger than the memory effect introduced by the fractional time derivative. We also prove that the solution satisfies the zero Dirichlet condition pointwise by means of sharp boundary estimates. Finally, we prove that our solution does not vanish in finite time if \(0<m<1\) 0 < m < 1 , unlike the case with the classical time derivative. Indeed, we provide a sharp rate of decay for any \(L^p\) L p -norm of the solution for any \(m>0\) m > 0 . Our findings indicate that the difference between slow and fast diffusion is mitigated by the memory effect, which dramatically slows the spatial diffusion.