Parabolic-elliptic and indirect-direct simplifications in chemotaxis systems driven by indirect signalling

Singular limits for the following indirect signalling chemotaxis system <DispFormula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mtable> <mml:mtr> <mml:mtd> <mml:mfenced> <mml:mrow> <mml:mtable> <mml:mtr> <mml:mtd> <mml:mrow><mml:msub><mml:mi>∂</mml:mi> <mml:mi>t</mml:mi></mml:msub> <mml:mi>n</mml:mi> <mml:mo>=</mml:mo> <mml:mi>Δ</mml:mi> <mml:mi>n</mml:mi> <mml:mo>-</mml:mo> <mml:mi>∇</mml:mi> <mml:mo>·</mml:mo> <mml:mrow><mml:mo>(</mml:mo> <mml:mi>n</mml:mi> <mml:mi>∇</mml:mi> <mml:mi>c</mml:mi> <mml:mo>)</mml:mo></mml:mrow> </mml:mrow> </mml:mtd> <mml:mtd><mml:mrow><mml:mtext>in</mml:mtext> <mml:mspace></mml:mspace> <mml:mi>Ω</mml:mi> <mml:mo>×</mml:mo> <mml:mo>(</mml:mo> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mi>∞</mml:mi> <mml:mo>)</mml:mo> <mml:mo>,</mml:mo></mml:mrow> </mml:mtd> </mml:mtr> <mml:mtr> <mml:mtd><mml:mrow><mml:mrow></mml:mrow> <mml:mi>ε</mml:mi> <mml:msub><mml:mi>∂</mml:mi> <mml:mi>t</mml:mi></mml:msub> <mml:mi>c</mml:mi> <mml:mo>=</mml:mo> <mml:mi>Δ</mml:mi> <mml:mi>c</mml:mi> <mml:mo>-</mml:mo> <mml:mi>c</mml:mi> <mml:mo>+</mml:mo> <mml:mi>w</mml:mi></mml:mrow> </mml:mtd> <mml:mtd><mml:mrow><mml:mtext>in</mml:mtext> <mml:mspace></mml:mspace> <mml:mi>Ω</mml:mi> <mml:mo>×</mml:mo> <mml:mo>(</mml:mo> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mi>∞</mml:mi> <mml:mo>)</mml:mo> <mml:mo>,</mml:mo></mml:mrow> </mml:mtd> </mml:mtr> <mml:mtr> <mml:mtd><mml:mrow><mml:mrow></mml:mrow> <mml:mi>ε</mml:mi> <mml:msub><mml:mi>∂</mml:mi> <mml:mi>t</mml:mi></mml:msub> <mml:mi>w</mml:mi> <mml:mo>=</mml:mo> <mml:mi>τ</mml:mi> <mml:mi>Δ</mml:mi> <mml:mi>w</mml:mi> <mml:mo>-</mml:mo> <mml:mi>w</mml:mi> <mml:mo>+</mml:mo> <mml:mi>n</mml:mi></mml:mrow> </mml:mtd> <mml:mtd><mml:mrow><mml:mtext>in</mml:mtext> <mml:mspace></mml:mspace> <mml:mi>Ω</mml:mi> <mml:mo>×</mml:mo> <mml:mo>(</mml:mo> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mi>∞</mml:mi> <mml:mo>)</mml:mo> <mml:mo>,</mml:mo></mml:mrow> </mml:mtd> </mml:mtr> <mml:mtr> <mml:mtd><mml:mrow><mml:mrow></mml:mrow> <mml:msub><mml:mi>∂</mml:mi> <mml:mi>ν</mml:mi></mml:msub> <mml:mi>n</mml:mi> <mml:mo>=</mml:mo> <mml:msub><mml:mi>∂</mml:mi> <mml:mi>ν</mml:mi></mml:msub> <mml:mi>c</mml:mi> <mml:mo>=</mml:mo> <mml:msub><mml:mi>∂</mml:mi> <mml:mi>ν</mml:mi></mml:msub> <mml:mi>w</mml:mi> <mml:mo>=</mml:mo> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo></mml:mrow> </mml:mtd> <mml:mtd><mml:mrow><mml:mtext>on</mml:mtext> <mml:mspace></mml:mspace> <mml:mi>∂</mml:mi> <mml:mi>Ω</mml:mi> <mml:mo>×</mml:mo> <mml:mo>(</mml:mo> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mi>∞</mml:mi> <mml:mo>)</mml:mo></mml:mrow> </mml:mtd> </mml:mtr> </mml:mtable> </mml:mrow> </mml:mfenced> </mml:mtd> </mml:mtr> </mml:mtable> </mml:mrow> </mml:math> </DispFormula> are investigated. More precisely, we study parabolic-elliptic simplification, or PES, <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mrow><mml:mi>ε</mml:mi> <mml:mo>→</mml:mo> <mml:msup><mml:mn>0</mml:mn> <mml:mo>+</mml:mo></mml:msup> </mml:mrow> </mml:math> with fixed <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mrow><mml:mi>τ</mml:mi> <mml:mo>></mml:mo> <mml:mn>0</mml:mn></mml:mrow> </mml:math> up to the critical dimension <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mrow><mml:mi>N</mml:mi> <mml:mo>=</mml:mo> <mml:mn>4</mml:mn></mml:mrow> </mml:math> , and indirect-direct simplification, or IDS, <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow><mml:mrow><mml:mo>(</mml:mo> <mml:mi>ε</mml:mi> <mml:mo>,</mml:mo> <mml:mi>τ</mml:mi> <mml:mo>)</mml:mo></mml:mrow> <mml:mo>→</mml:mo> <mml:mrow><mml:mo>(</mml:mo> <mml:msup><mml:mn>0</mml:mn> <mml:mo>+</mml:mo></mml:msup> <mml:mo>,</mml:mo> <mml:msup><mml:mn>0</mml:mn> <mml:mo>+</mml:mo></mml:msup> <mml:mo>)</mml:mo></mml:mrow> </mml:mrow> </mml:math> up to the critical dimension <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mrow><mml:mi>N</mml:mi> <mml:mo>=</mml:mo> <mml:mn>2</mml:mn></mml:mrow> </mml:math> . These are relevant in biological situations where the signalling process is on a much faster time scale compared to the species diffusion and all interactions. Showing singular limits in critical dimensions is challenging. To deal with the PES, we carefully combine the entropy function, an Adam-type inequality, the regularisation of slow evolution, and an energy equation method to obtain strong convergence in representative spaces. For the IDS, a bootstrap argument concerning the <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:msup><mml:mi>L</mml:mi> <mml:mi>p</mml:mi></mml:msup> </mml:math> -energy function is devised, which allows us to obtain suitable uniform bounds for the singular limits. Moreover, in both scenarios, we also present the convergence rates, where the effect of the initial layer and the convergence to the critical manifold are also revealed.