{"title":"Absence of dead-core formations in chemotaxis systems with degenerate diffusion","authors":"Tobias Black","doi":"10.1016/j.aml.2024.109361","DOIUrl":null,"url":null,"abstract":"<div><div>In this paper we consider a chemotaxis system with signal consumption and degenerate diffusion of the form <span><span><span><math><mfenced><mrow><mtable><mtr><mtd></mtd><mtd><msub><mrow><mi>u</mi></mrow><mrow><mi>t</mi></mrow></msub><mo>=</mo><mo>∇</mo><mi>⋅</mi><mrow><mo>(</mo><mi>D</mi><mrow><mo>(</mo><mi>u</mi><mo>)</mo></mrow><mo>∇</mo><mi>u</mi><mo>−</mo><mi>u</mi><mi>S</mi><mrow><mo>(</mo><mi>u</mi><mo>)</mo></mrow><mo>∇</mo><mi>v</mi><mo>)</mo></mrow><mo>+</mo><mi>f</mi><mrow><mo>(</mo><mi>u</mi><mo>,</mo><mi>v</mi><mo>)</mo></mrow><mo>,</mo><mspace></mspace></mtd></mtr><mtr><mtd></mtd><mtd><msub><mrow><mi>v</mi></mrow><mrow><mi>t</mi></mrow></msub><mo>=</mo><mi>Δ</mi><mi>v</mi><mo>−</mo><mi>u</mi><mi>v</mi><mo>,</mo><mspace></mspace></mtd></mtr><mtr><mtd></mtd></mtr></mtable></mrow></mfenced></math></span></span></span>in a bounded domain <span><math><mrow><mi>Ω</mi><mo>⊂</mo><msup><mrow><mi>R</mi></mrow><mrow><mi>N</mi></mrow></msup></mrow></math></span> with smooth boundary subjected to no-flux and homogeneous Neumann boundary conditions. Herein, the diffusion coefficient <span><math><mrow><mi>D</mi><mo>∈</mo><msup><mrow><mi>C</mi></mrow><mrow><mn>0</mn></mrow></msup><mrow><mo>(</mo><mrow><mo>[</mo><mn>0</mn><mo>,</mo><mi>∞</mi><mo>)</mo></mrow><mo>)</mo></mrow><mo>∩</mo><msup><mrow><mi>C</mi></mrow><mrow><mn>2</mn></mrow></msup><mrow><mo>(</mo><mrow><mo>(</mo><mn>0</mn><mo>,</mo><mi>∞</mi><mo>)</mo></mrow><mo>)</mo></mrow></mrow></math></span> is assumed to satisfy <span><math><mrow><mi>D</mi><mrow><mo>(</mo><mn>0</mn><mo>)</mo></mrow><mo>=</mo><mn>0</mn></mrow></math></span>, <span><math><mrow><mi>D</mi><mrow><mo>(</mo><mi>s</mi><mo>)</mo></mrow><mo>></mo><mn>0</mn></mrow></math></span> on <span><math><mrow><mo>(</mo><mn>0</mn><mo>,</mo><mi>∞</mi><mo>)</mo></mrow></math></span>, <span><math><mrow><msup><mrow><mi>D</mi></mrow><mrow><mo>′</mo></mrow></msup><mrow><mo>(</mo><mi>s</mi><mo>)</mo></mrow><mo>≥</mo><mn>0</mn></mrow></math></span> on <span><math><mrow><mo>(</mo><mn>0</mn><mo>,</mo><mi>∞</mi><mo>)</mo></mrow></math></span> and that there are <span><math><mrow><msub><mrow><mi>s</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>></mo><mn>0</mn></mrow></math></span>, <span><math><mrow><mi>p</mi><mo>></mo><mn>1</mn></mrow></math></span> and <span><math><mrow><msub><mrow><mi>C</mi></mrow><mrow><mi>D</mi></mrow></msub><mo>></mo><mn>0</mn></mrow></math></span> such that <span><span><span><math><mrow><mi>s</mi><msup><mrow><mi>D</mi></mrow><mrow><mo>′</mo></mrow></msup><mrow><mo>(</mo><mi>s</mi><mo>)</mo></mrow><mo>≤</mo><msub><mrow><mi>C</mi></mrow><mrow><mi>D</mi></mrow></msub><mi>D</mi><mrow><mo>(</mo><mi>s</mi><mo>)</mo></mrow><mspace></mspace><mtext>and</mtext><mspace></mspace><msub><mrow><mi>C</mi></mrow><mrow><mi>D</mi></mrow></msub><msup><mrow><mi>s</mi></mrow><mrow><mi>p</mi><mo>−</mo><mn>1</mn></mrow></msup><mo>≤</mo><mi>D</mi><mrow><mo>(</mo><mi>s</mi><mo>)</mo></mrow><mspace></mspace><mtext>for</mtext><mi>s</mi><mo>∈</mo><mrow><mo>[</mo><mn>0</mn><mo>,</mo><msub><mrow><mi>s</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>]</mo></mrow><mo>.</mo></mrow></math></span></span></span>The sensitivity function <span><math><mrow><mi>S</mi><mo>∈</mo><msup><mrow><mi>C</mi></mrow><mrow><mn>2</mn></mrow></msup><mrow><mo>(</mo><mrow><mo>[</mo><mn>0</mn><mo>,</mo><mi>∞</mi><mo>)</mo></mrow><mo>)</mo></mrow></mrow></math></span> and the source term <span><math><mrow><mi>f</mi><mo>∈</mo><msup><mrow><mi>C</mi></mrow><mrow><mn>1</mn></mrow></msup><mrow><mo>(</mo><mrow><mo>[</mo><mn>0</mn><mo>,</mo><mi>∞</mi><mo>)</mo></mrow><mo>×</mo><mrow><mo>[</mo><mn>0</mn><mo>,</mo><mi>∞</mi><mo>)</mo></mrow><mo>)</mo></mrow></mrow></math></span> are supposed to be nonnegative.</div><div>We show that for all suitably regular initial data <span><math><mrow><mo>(</mo><msub><mrow><mi>u</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>,</mo><msub><mrow><mi>v</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>)</mo></mrow></math></span> satisfying <span><math><mrow><msub><mrow><mi>u</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>≥</mo><msub><mrow><mi>δ</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>></mo><mn>0</mn></mrow></math></span> and <span><math><mrow><msub><mrow><mi>v</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>⁄</mo><mo>≡</mo><mn>0</mn></mrow></math></span> there is a time-local classical solution and – despite the degeneracy at 0 – the solution satisfies an extensibility criterion of the form <span><span><span><math><mrow><mtext>either</mtext><mspace></mspace><msub><mrow><mi>T</mi></mrow><mrow><mi>m</mi><mi>a</mi><mi>x</mi></mrow></msub><mo>=</mo><mi>∞</mi><mo>,</mo><mspace></mspace><mtext>or</mtext><mspace></mspace><munder><mrow><mo>lim sup</mo></mrow><mrow><mi>t</mi><mo>↗</mo><msub><mrow><mi>T</mi></mrow><mrow><mi>m</mi><mi>a</mi><mi>x</mi></mrow></msub></mrow></munder><msub><mrow><mo>‖</mo><mi>u</mi><mrow><mo>(</mo><mi>⋅</mi><mo>,</mo><mi>t</mi><mo>)</mo></mrow><mo>‖</mo></mrow><mrow><msup><mrow><mi>L</mi></mrow><mrow><mi>∞</mi></mrow></msup><mrow><mo>(</mo><mi>Ω</mi><mo>)</mo></mrow></mrow></msub><mo>=</mo><mi>∞</mi><mo>.</mo></mrow></math></span></span></span>Moreover, as a by-product of our analysis, we prove that a classical solution on <span><math><mrow><mi>Ω</mi><mo>×</mo><mrow><mo>(</mo><mn>0</mn><mo>,</mo><mi>T</mi><mo>)</mo></mrow></mrow></math></span> obeying <span><math><mrow><msub><mrow><mo>‖</mo><mi>u</mi><mrow><mo>(</mo><mi>⋅</mi><mo>,</mo><mi>t</mi><mo>)</mo></mrow><mo>‖</mo></mrow><mrow><msup><mrow><mi>L</mi></mrow><mrow><mi>∞</mi></mrow></msup><mrow><mo>(</mo><mi>Ω</mi><mo>)</mo></mrow></mrow></msub><mo>≤</mo><msub><mrow><mi>M</mi></mrow><mrow><mi>u</mi></mrow></msub></mrow></math></span> for all <span><math><mrow><mi>t</mi><mo>∈</mo><mrow><mo>(</mo><mn>0</mn><mo>,</mo><mi>T</mi><mo>)</mo></mrow></mrow></math></span> and emanating from initial data <span><math><mrow><mo>(</mo><msub><mrow><mi>u</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>,</mo><msub><mrow><mi>v</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>)</mo></mrow></math></span> as specified above remains strictly positive throughout <span><math><mrow><mi>Ω</mi><mo>×</mo><mrow><mo>(</mo><mn>0</mn><mo>,</mo><mi>T</mi><mo>)</mo></mrow></mrow></math></span>, i.e. one can find <span><math><mrow><msub><mrow><mi>δ</mi></mrow><mrow><mi>u</mi></mrow></msub><mo>=</mo><msub><mrow><mi>δ</mi></mrow><mrow><mi>u</mi></mrow></msub><mrow><mo>(</mo><mi>T</mi><mo>,</mo><msub><mrow><mi>δ</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>,</mo><msub><mrow><mi>M</mi></mrow><mrow><mi>u</mi></mrow></msub><mo>,</mo><msub><mrow><mo>‖</mo><msub><mrow><mi>v</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>‖</mo></mrow><mrow><msup><mrow><mi>W</mi></mrow><mrow><mn>1</mn><mo>,</mo><mi>∞</mi></mrow></msup><mrow><mo>(</mo><mi>Ω</mi><mo>)</mo></mrow></mrow></msub><mo>)</mo></mrow><mo>></mo><mn>0</mn></mrow></math></span> such that <span><span><span><math><mrow><mi>u</mi><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>t</mi><mo>)</mo></mrow><mo>≥</mo><msub><mrow><mi>δ</mi></mrow><mrow><mi>u</mi></mrow></msub><mspace></mspace><mtext>for all</mtext><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>t</mi><mo>)</mo></mrow><mo>∈</mo><mi>Ω</mi><mo>×</mo><mrow><mo>(</mo><mn>0</mn><mo>,</mo><mi>T</mi><mo>)</mo></mrow><mo>.</mo></mrow></math></span></span></span>Together, the results indicate that the formation of a dead-core in these chemotaxis systems with a degenerate diffusion are impossible before the blow-up time.</div></div>","PeriodicalId":55497,"journal":{"name":"Applied Mathematics Letters","volume":"161 ","pages":"Article 109361"},"PeriodicalIF":2.9000,"publicationDate":"2024-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Applied Mathematics Letters","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0893965924003811","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
引用次数: 0
Abstract
In this paper we consider a chemotaxis system with signal consumption and degenerate diffusion of the form in a bounded domain with smooth boundary subjected to no-flux and homogeneous Neumann boundary conditions. Herein, the diffusion coefficient is assumed to satisfy , on , on and that there are , and such that The sensitivity function and the source term are supposed to be nonnegative.
We show that for all suitably regular initial data satisfying and there is a time-local classical solution and – despite the degeneracy at 0 – the solution satisfies an extensibility criterion of the form Moreover, as a by-product of our analysis, we prove that a classical solution on obeying for all and emanating from initial data as specified above remains strictly positive throughout , i.e. one can find such that Together, the results indicate that the formation of a dead-core in these chemotaxis systems with a degenerate diffusion are impossible before the blow-up time.
本文考虑了一个具有信号消耗和退化扩散的趋化系统,其形式为 ut=∇-(D(u)∇u-uS(u)∇v)+f(u,v),vt=Δv-uv,该系统在一个边界光滑的有界域 Ω⊂RN中,受无流体和同质新曼边界条件的约束。这里,假设扩散系数 D∈C0([0,∞))∩C2((0,∞)) 满足 D(0)=0, D(s)>;0 on (0,∞), D′(s)≥0 on (0,∞) and that there are s0>0, p>1 and CD>0 such that sD′(s)≤CDD(s)andCDsp-1≤D(s)fors∈[0,s0].灵敏度函数 S∈C2([0,∞)) 和源项 f∈C1([0,∞)×[0,∞)) 假定为非负。我们证明,对于所有满足 u0≥δ0>0 和 v0⁄≡0 的适当规则初始数据(u0,v0),都存在一个时域经典解,并且--尽管在 0 处存在退行性--该解满足一个扩展性准则,其形式为:Tmax=∞,或 Lim suptTmax‖u(⋅,t)‖L∞(Ω)=∞ 。此外,作为分析的一个副产品,我们证明了在Ω×(0,T)上的经典解在所有 t∈(0,T)条件下服从‖u(⋅,t)‖L∞(Ω)≤Mu,并且从上述初始数据 (u0,v0) 出发,在整个Ω×(0,T)上保持严格的正解性,也就是说,可以找到δu=δu(Ω)=∞。结果表明,在这些具有退化扩散的趋化系统中,在炸毁时间之前不可能形成死核。
期刊介绍:
The purpose of Applied Mathematics Letters is to provide a means of rapid publication for important but brief applied mathematical papers. The brief descriptions of any work involving a novel application or utilization of mathematics, or a development in the methodology of applied mathematics is a potential contribution for this journal. This journal''s focus is on applied mathematics topics based on differential equations and linear algebra. Priority will be given to submissions that are likely to appeal to a wide audience.