<p>In this paper, we investigate the uniform regularity and asymptotic behavior of solutions to the following Lotka–Volterra type system of strong competition with Dirichlet boundary conditions: <Equation ID="Equ64"> <EquationSource Format="TEX">\(\begin{aligned} \left\{ \begin{array}{ll} -\Delta u_{i,\beta } = f_{i,\beta }(x, u_{i,\beta }) - \beta u_{i,\beta }^{p_i} \sum _{\begin{array}{c} j=1\\ j \ne i \end{array}}^k a_{ij} u_{j,\beta }^{p_j}, \quad u_{i,\beta } &gt; 0 &amp; \text {in } \Omega , \\ u_{i,\beta } = \varphi _{i,\beta } &amp; \text {on } \partial \Omega ,\\ \end{array}\right. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd columnalign="left"> <mrow> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <msub> <mi>u</mi> <mrow> <mi>i</mi> <mo>,</mo> <mi>β</mi> </mrow> </msub> <mo>=</mo> <msub> <mi>f</mi> <mrow> <mi>i</mi> <mo>,</mo> <mi>β</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <msub> <mi>u</mi> <mrow> <mi>i</mi> <mo>,</mo> <mi>β</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <mi>β</mi> <msubsup> <mi>u</mi> <mrow> <mi>i</mi> <mo>,</mo> <mi>β</mi> </mrow> <msub> <mi>p</mi> <mi>i</mi> </msub> </msubsup> <msubsup> <mo>∑</mo> <mrow> <mrow> <mtable> <mtr> <mtd> <mrow> <mi>j</mi> <mo>=</mo> <mn>1</mn> </mrow> </mtd> </mtr> <mtr> <mtd> <mrow> <mrow /> <mi>j</mi> <mo>≠</mo> <mi>i</mi> </mrow> </mtd> </mtr> </mtable> </mrow> </mrow> <mi>k</mi> </msubsup> <msub> <mi>a</mi> <mrow> <mi mathvariant="italic">ij</mi> </mrow> </msub> <msubsup> <mi>u</mi> <mrow> <mi>j</mi> <mo>,</mo> <mi>β</mi> </mrow> <msub> <mi>p</mi> <mi>j</mi> </msub> </msubsup> <mo>,</mo> <mspace width="1em" /> <msub> <mi>u</mi> <mrow> <mi>i</mi> <mo>,</mo> <mi>β</mi> </mrow> </msub> <mo>&gt;</mo> <mn>0</mn> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mtext>in</mtext> <mspace width="0.333333em" /> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <msub> <mi>u</mi> <mrow> <mi>i</mi> <mo>,</mo> <mi>β</mi> </mrow> </msub> <mo>=</mo> <msub> <mi>φ</mi> <mrow> <mi>i</mi> <mo>,</mo> <mi>β</mi> </mrow> </msub> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mtext>on</mtext> <mspace width="0.333333em" /> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(N \ge 1,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>≥</mo> <mn>1</mn> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(1 \le i \le k\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>≤</mo> <mi>i</mi> <mo>≤</mo> <mi>k</mi> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(k \ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\beta &gt; 0,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>&gt;</mo> <mn>0</mn> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(p_i \ge 1,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>p</mi> <mi>i</mi> </msub> <mo>≥</mo> <mn>1</mn> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(a_{ij} &gt; 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>a</mi> <mrow> <mi mathvariant="italic">ij</mi> </mrow> </msub> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(i \ne j,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo>≠</mo> <mi>j</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation> is a <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(C^{1,\text {Dini}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mrow> <mn>1</mn> <mo>,</mo> <mtext>Dini</mtext> </mrow> </msup> </math></EquationSource> </InlineEquation> bounded domain in <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathbb {R}^N.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> First, we prove that the uniform boundedness of the solutions implies their uniform interior and global Lipschitz boundedness as <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\beta \rightarrow +\infty .\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo stretchy="false">→</mo> <mo>+</mo> <mi>∞</mi> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> Such uniform results are optimal; partial versions thereof are known in the literature for symmetric coefficients (i.e., <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(a_{ij} = a_{ji}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>a</mi> <mrow> <mi mathvariant="italic">ij</mi> </mrow> </msub> <mo>=</mo> <msub> <mi>a</mi> <mrow> <mi mathvariant="italic">ji</mi> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(i \ne j\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo>≠</mo> <mi>j</mi> </mrow> </math></EquationSource> </InlineEquation>) and homogeneous competition terms (i.e., <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(p_i = p_j\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>p</mi> <mi>i</mi> </msub> <mo>=</mo> <msub> <mi>p</mi> <mi>j</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(i\ne j\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo>≠</mo> <mi>j</mi> </mrow> </math></EquationSource> </InlineEquation>). Here, we establish an Alt–Caffarelli–Friedman type monotonicity formula for the system and then employ blow-up analysis to show that these results also hold in the asymmetric or nonhomogeneous case. Next, as consequences of the uniform optimal regularity, we derive sharp quantitative pointwise estimates for the densities near the interface between different components.</p>

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

Optimal uniform regularity and asymptotic behavior of solutions to Lotka–Volterra type systems with strong competition and asymmetric coefficients

  • Zexin Zhang

摘要

In this paper, we investigate the uniform regularity and asymptotic behavior of solutions to the following Lotka–Volterra type system of strong competition with Dirichlet boundary conditions: \(\begin{aligned} \left\{ \begin{array}{ll} -\Delta u_{i,\beta } = f_{i,\beta }(x, u_{i,\beta }) - \beta u_{i,\beta }^{p_i} \sum _{\begin{array}{c} j=1\\ j \ne i \end{array}}^k a_{ij} u_{j,\beta }^{p_j}, \quad u_{i,\beta } > 0 & \text {in } \Omega , \\ u_{i,\beta } = \varphi _{i,\beta } & \text {on } \partial \Omega ,\\ \end{array}\right. \end{aligned}\) - Δ u i , β = f i , β ( x , u i , β ) - β u i , β p i j = 1 j i k a ij u j , β p j , u i , β > 0 in Ω , u i , β = φ i , β on Ω , where \(N \ge 1,\) N 1 , \(1 \le i \le k\) 1 i k with \(k \ge 2\) k 2 , \(\beta > 0,\) β > 0 , \(p_i \ge 1,\) p i 1 , \(a_{ij} > 0\) a ij > 0 for \(i \ne j,\) i j , and \(\Omega \) Ω is a \(C^{1,\text {Dini}}\) C 1 , Dini bounded domain in \(\mathbb {R}^N.\) R N . First, we prove that the uniform boundedness of the solutions implies their uniform interior and global Lipschitz boundedness as \(\beta \rightarrow +\infty .\) β + . Such uniform results are optimal; partial versions thereof are known in the literature for symmetric coefficients (i.e., \(a_{ij} = a_{ji}\) a ij = a ji for all \(i \ne j\) i j ) and homogeneous competition terms (i.e., \(p_i = p_j\) p i = p j for all \(i\ne j\) i j ). Here, we establish an Alt–Caffarelli–Friedman type monotonicity formula for the system and then employ blow-up analysis to show that these results also hold in the asymmetric or nonhomogeneous case. Next, as consequences of the uniform optimal regularity, we derive sharp quantitative pointwise estimates for the densities near the interface between different components.