<p>Perhaps the most classical diffusion model for chemotaxis is the Keller-Segel system <Equation ID="Equ1"> <EquationNumber>*</EquationNumber> <EquationSource Format="TEX">\(\begin{aligned} \left\{ \begin{aligned} u_t =&amp;\; \Delta u - \nabla \cdot (u \nabla v) \quad {\quad \hbox {in } }\mathbb {R}^2\times (0,T),\\ v =&amp;\; (-\Delta _{\mathbb {R}^2})^{-1} u := \frac{1}{2\pi } \int _{\mathbb {R}^2} \log \frac{1}{|x-z|}\,u(z,t) dz,\\&amp;\quad \ u(\cdot ,0) = u_0^{\star } \ge 0\quad \text {in } \mathbb {R}^2. \end{aligned} \right. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi>u</mi> <mi>t</mi> </msub> <mo>=</mo> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mspace width="0.277778em" /> <mi mathvariant="normal">Δ</mi> <mi>u</mi> <mo>-</mo> <mi mathvariant="normal">∇</mi> <mo>·</mo> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mi mathvariant="normal">∇</mi> <mi>v</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="1em" /> <mrow> <mspace width="1em" /> <mtext>in</mtext> <mspace width="0.333333em" /> </mrow> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> <mo>×</mo> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow> <mrow /> <mi>v</mi> <mo>=</mo> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mspace width="0.277778em" /> <msup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <msub> <mi mathvariant="normal">Δ</mi> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> </msub> <mo stretchy="false">)</mo> </mrow> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mi>u</mi> <mo>:</mo> <mo>=</mo> <mfrac> <mn>1</mn> <mrow> <mn>2</mn> <mi>π</mi> </mrow> </mfrac> <msub> <mo>∫</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> </msub> <mo>log</mo> <mfrac> <mn>1</mn> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo>-</mo> <mi>z</mi> <mo stretchy="false">|</mo> </mrow> </mfrac> <mspace width="0.166667em" /> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mi>d</mi> <mi>z</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow /> </mtd> <mtd columnalign="left"> <mrow> <mspace width="1em" /> <mspace width="4pt" /> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mo>·</mo> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msubsup> <mi>u</mi> <mn>0</mn> <mo>⋆</mo> </msubsup> <mo>≥</mo> <mn>0</mn> <mspace width="1em" /> <mtext>in</mtext> <mspace width="0.333333em" /> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>We show that there exists <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\varepsilon &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ε</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> such that for any <i>m</i> satisfying <Equation ID="Equ398"> <EquationSource Format="TEX">\(\begin{aligned} 8\pi &lt;m\le 8\pi +\varepsilon \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mn>8</mn> <mi>π</mi> <mo>&lt;</mo> <mi>m</mi> <mo>≤</mo> <mn>8</mn> <mi>π</mi> <mo>+</mo> <mi>ε</mi> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>and any <i>k</i> given points <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(q_{1},...,q_{k}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>q</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>.</mo> <mo>.</mo> <mo>.</mo> <mo>,</mo> <msub> <mi>q</mi> <mi>k</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> in <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathbb {R}^{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation> there is an initial data <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(u_0^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>u</mi> <mn>0</mn> <mo>∗</mo> </msubsup> </math></EquationSource> </InlineEquation> of (<InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(*\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow /> <mo>∗</mo> </mrow> </math></EquationSource> </InlineEquation>) for which the solution <i>u</i>(<i>x</i>,&#xa0;<i>t</i>) blows up in finite time as <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(t\rightarrow T\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo stretchy="false">→</mo> <mi>T</mi> </mrow> </math></EquationSource> </InlineEquation> with the approximate profile <Equation ID="Equ399"> <EquationSource Format="TEX">\( u(x,t)=\sum _{j=1}^{k}\frac{1}{\lambda _{j}^{2}(t)}U\left( \frac{x-\xi _{j}(t)}{\lambda _{j}(t)}\right) (1+o(1)), \quad U(y)=\frac{8}{(1+|y|^{2})^{2}}, \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <munderover> <mo>∑</mo> <mrow> <mi>j</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>k</mi> </munderover> <mfrac> <mn>1</mn> <mrow> <msubsup> <mi>λ</mi> <mrow> <mi>j</mi> </mrow> <mn>2</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </mfrac> <mi>U</mi> <mfenced close=")" open="("> <mfrac> <mrow> <mi>x</mi> <mo>-</mo> <msub> <mi>ξ</mi> <mi>j</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </mrow> <mrow> <msub> <mi>λ</mi> <mi>j</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </mfrac> </mfenced> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>+</mo> <mi>o</mi> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mspace width="1em" /> <mi>U</mi> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mfrac> <mn>8</mn> <mrow> <msup> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>+</mo> <mo stretchy="false">|</mo> <mi>y</mi> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> <msup> <mrow> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> </mrow> </mfrac> <mo>,</mo> </mrow> </math></EquationSource> </Equation>with <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\lambda _{j}(t) \approx 2e^{-\frac{\gamma +2}{2}}\sqrt{T-t}e^{-\sqrt{\frac{|\ln (T-t)|}{2}}} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>λ</mi> <mi>j</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>≈</mo> <mn>2</mn> <msup> <mi>e</mi> <mrow> <mo>-</mo> <mfrac> <mrow> <mi>γ</mi> <mo>+</mo> <mn>2</mn> </mrow> <mn>2</mn> </mfrac> </mrow> </msup> <msqrt> <mrow> <mi>T</mi> <mo>-</mo> <mi>t</mi> </mrow> </msqrt> <msup> <mi>e</mi> <mrow> <mo>-</mo> <msqrt> <mfrac> <mrow> <mo stretchy="false">|</mo> <mo>ln</mo> <mo stretchy="false">(</mo> <mi>T</mi> <mo>-</mo> <mi>t</mi> <mo stretchy="false">)</mo> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </mfrac> </msqrt> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\gamma =0.57721...\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>=</mo> <mn>0.57721</mn> <mo>.</mo> <mo>.</mo> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> is the Euler-Mascheroni constant, <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\xi _{j}(t)\rightarrow q_{j}\in \mathbb {R}^{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>ξ</mi> <mi>j</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">→</mo> <msub> <mi>q</mi> <mi>j</mi> </msub> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> and such that <Equation ID="Equ400"> <EquationSource Format="TEX">\( \int _{\mathbb {R}^2}u(x,t)dx=km. \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mo>∫</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> </msub> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mi>d</mi> <mi>x</mi> <mo>=</mo> <mi>k</mi> <mi>m</mi> <mo>.</mo> </mrow> </math></EquationSource> </Equation>This construction generalizes the existence result of the stable blow-up dynamics recently proved in [<CitationRef CitationID="CR17">17</CitationRef>, <CitationRef CitationID="CR18">18</CitationRef>].</p>

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

Existence of Finite Time Blow-Up in Keller-Segel System

  • Federico Buseghin,
  • Juan Dávila,
  • Manuel del Pino,
  • Monica Musso

摘要

Perhaps the most classical diffusion model for chemotaxis is the Keller-Segel system * \(\begin{aligned} \left\{ \begin{aligned} u_t =&\; \Delta u - \nabla \cdot (u \nabla v) \quad {\quad \hbox {in } }\mathbb {R}^2\times (0,T),\\ v =&\; (-\Delta _{\mathbb {R}^2})^{-1} u := \frac{1}{2\pi } \int _{\mathbb {R}^2} \log \frac{1}{|x-z|}\,u(z,t) dz,\\&\quad \ u(\cdot ,0) = u_0^{\star } \ge 0\quad \text {in } \mathbb {R}^2. \end{aligned} \right. \end{aligned}\) u t = Δ u - · ( u v ) in R 2 × ( 0 , T ) , v = ( - Δ R 2 ) - 1 u : = 1 2 π R 2 log 1 | x - z | u ( z , t ) d z , u ( · , 0 ) = u 0 0 in R 2 . We show that there exists \(\varepsilon >0\) ε > 0 such that for any m satisfying \(\begin{aligned} 8\pi <m\le 8\pi +\varepsilon \end{aligned}\) 8 π < m 8 π + ε and any k given points \(q_{1},...,q_{k}\) q 1 , . . . , q k in \(\mathbb {R}^{2}\) R 2 there is an initial data \(u_0^*\) u 0 of ( \(*\) ) for which the solution u(xt) blows up in finite time as \(t\rightarrow T\) t T with the approximate profile \( u(x,t)=\sum _{j=1}^{k}\frac{1}{\lambda _{j}^{2}(t)}U\left( \frac{x-\xi _{j}(t)}{\lambda _{j}(t)}\right) (1+o(1)), \quad U(y)=\frac{8}{(1+|y|^{2})^{2}}, \) u ( x , t ) = j = 1 k 1 λ j 2 ( t ) U x - ξ j ( t ) λ j ( t ) ( 1 + o ( 1 ) ) , U ( y ) = 8 ( 1 + | y | 2 ) 2 , with \(\lambda _{j}(t) \approx 2e^{-\frac{\gamma +2}{2}}\sqrt{T-t}e^{-\sqrt{\frac{|\ln (T-t)|}{2}}} \) λ j ( t ) 2 e - γ + 2 2 T - t e - | ln ( T - t ) | 2 where \(\gamma =0.57721...\) γ = 0.57721 . . . is the Euler-Mascheroni constant, \(\xi _{j}(t)\rightarrow q_{j}\in \mathbb {R}^{2}\) ξ j ( t ) q j R 2 and such that \( \int _{\mathbb {R}^2}u(x,t)dx=km. \) R 2 u ( x , t ) d x = k m . This construction generalizes the existence result of the stable blow-up dynamics recently proved in [17, 18].