{"title":"Eternal solutions to a porous medium equation with strong non-homogeneous absorption. Part I: radially non-increasing profiles","authors":"Razvan Gabriel Iagar, Philippe Laurençot","doi":"10.1017/prm.2024.29","DOIUrl":null,"url":null,"abstract":"<p>Existence of specific <span>eternal solutions</span> in exponential self-similar form to the following quasilinear diffusion equation with strong absorption<span><span data-mathjax-type=\"texmath\"><span>\\[ \\partial_t u=\\Delta u^m-|x|^{\\sigma}u^q, \\]</span></span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240312163119404-0773:S0308210524000295:S0308210524000295_eqnU1.png\"/></span>posed for <span><span><span data-mathjax-type=\"texmath\"><span>$(t,\\,x)\\in (0,\\,\\infty )\\times \\mathbb {R}^N$</span></span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240312163119404-0773:S0308210524000295:S0308210524000295_inline1.png\"/></span></span>, with <span><span><span data-mathjax-type=\"texmath\"><span>$m>1$</span></span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240312163119404-0773:S0308210524000295:S0308210524000295_inline2.png\"/></span></span>, <span><span><span data-mathjax-type=\"texmath\"><span>$q\\in (0,\\,1)$</span></span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240312163119404-0773:S0308210524000295:S0308210524000295_inline3.png\"/></span></span> and <span><span><span data-mathjax-type=\"texmath\"><span>$\\sigma =\\sigma _c:=2(1-q)/ (m-1)$</span></span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240312163119404-0773:S0308210524000295:S0308210524000295_inline4.png\"/></span></span> is proved. Looking for radially symmetric solutions of the form<span><span data-mathjax-type=\"texmath\"><span>\\[ u(t,x)={\\rm e}^{-\\alpha t}f(|x|\\,{\\rm e}^{\\beta t}), \\quad \\alpha=\\frac{2}{m-1}\\beta, \\]</span></span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240312163119404-0773:S0308210524000295:S0308210524000295_eqnU2.png\"/></span>we show that there exists a unique exponent <span><span><span data-mathjax-type=\"texmath\"><span>$\\beta ^*\\in (0,\\,\\infty )$</span></span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240312163119404-0773:S0308210524000295:S0308210524000295_inline5.png\"/></span></span> for which there exists a one-parameter family <span><span><span data-mathjax-type=\"texmath\"><span>$(u_A)_{A>0}$</span></span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240312163119404-0773:S0308210524000295:S0308210524000295_inline6.png\"/></span></span> of solutions with compactly supported and non-increasing profiles <span><span><span data-mathjax-type=\"texmath\"><span>$(f_A)_{A>0}$</span></span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240312163119404-0773:S0308210524000295:S0308210524000295_inline7.png\"/></span></span> satisfying <span><span><span data-mathjax-type=\"texmath\"><span>$f_A(0)=A$</span></span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240312163119404-0773:S0308210524000295:S0308210524000295_inline8.png\"/></span></span> and <span><span><span data-mathjax-type=\"texmath\"><span>$f_A'(0)=0$</span></span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240312163119404-0773:S0308210524000295:S0308210524000295_inline9.png\"/></span></span>. An important feature of these solutions is that they are bounded and do not vanish in finite time, a phenomenon which is known to take place for all non-negative bounded solutions when <span><span><span data-mathjax-type=\"texmath\"><span>$\\sigma \\in (0,\\,\\sigma _c)$</span></span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240312163119404-0773:S0308210524000295:S0308210524000295_inline10.png\"/></span></span>.</p>","PeriodicalId":54560,"journal":{"name":"Proceedings of the Royal Society of Edinburgh Section A-Mathematics","volume":"24 1","pages":""},"PeriodicalIF":1.3000,"publicationDate":"2024-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the Royal Society of Edinburgh Section A-Mathematics","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1017/prm.2024.29","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
Existence of specific eternal solutions in exponential self-similar form to the following quasilinear diffusion equation with strong absorption\[ \partial_t u=\Delta u^m-|x|^{\sigma}u^q, \]posed for $(t,\,x)\in (0,\,\infty )\times \mathbb {R}^N$, with $m>1$, $q\in (0,\,1)$ and $\sigma =\sigma _c:=2(1-q)/ (m-1)$ is proved. Looking for radially symmetric solutions of the form\[ u(t,x)={\rm e}^{-\alpha t}f(|x|\,{\rm e}^{\beta t}), \quad \alpha=\frac{2}{m-1}\beta, \]we show that there exists a unique exponent $\beta ^*\in (0,\,\infty )$ for which there exists a one-parameter family $(u_A)_{A>0}$ of solutions with compactly supported and non-increasing profiles $(f_A)_{A>0}$ satisfying $f_A(0)=A$ and $f_A'(0)=0$. An important feature of these solutions is that they are bounded and do not vanish in finite time, a phenomenon which is known to take place for all non-negative bounded solutions when $\sigma \in (0,\,\sigma _c)$.
Existence of specific eternal solutions in exponential self-similar form to the following quasilinear diffusion equation with strong absorption\[ \partial_t u=\Delta u^m-|x|^\{sigma}u^q, \]posed for $(t,\,x)\in (0,\,\infty )\times \mathbb {R}^N$, with $m>;1$, $q\in (0,\,1)$ and $\sigma =\sigma _c:=2(1-q)/ (m-1)$ 得到证明。寻找形式\[ u(t,x)={\rm e}^{-\alpha t}f(|x|\,{\rm e}^{beta t}), \quad \alpha=\frac{2}{m-1}\beta 的径向对称解、\]我们证明在(0,\,\infty)$中存在一个唯一的指数$\beta ^*\,对于这个指数,存在一个单参数族$(u_A)_{A>;0}$ 的解的单参数族,该解具有紧凑支撑且非递增的剖面 $(f_A)_{A>0}$ ,满足 $f_A(0)=A$ 和 $f_A'(0)=0$。这些解的一个重要特征是它们是有界的,并且不会在有限时间内消失,众所周知,当 $\sigma \in (0,\,\sigma _c)$ 时,所有非负有界解都会出现这种现象。
期刊介绍:
A flagship publication of The Royal Society of Edinburgh, Proceedings A is a prestigious, general mathematics journal publishing peer-reviewed papers of international standard across the whole spectrum of mathematics, but with the emphasis on applied analysis and differential equations.
An international journal, publishing six issues per year, Proceedings A has been publishing the highest-quality mathematical research since 1884. Recent issues have included a wealth of key contributors and considered research papers.