Existence, uniqueness, stability, and monotonicity of traveling waves for repulsion/attraction chemotaxis models with logistic type source

Resumo Técnico: Existência, Unicidade, Estabilidade e Monotonicidade de Ondas Viajantes para Modelos de Quimiotaxia de Repulsão/Atração com Fonte do Tipo Logístico

Enunciado do Problema
Este artigo investiga o sistema de quimiotaxia parabólico-elíptico com uma fonte do tipo logístico, dado por:
$$\begin{cases} u_t = u_{xx} - \chi(u^m v_x)_x + u(1 - u^\alpha), & x \in \mathbb{R}, \\ 0 = v_{xx} - v + u^\gamma, & x \in \mathbb{R}, \end{cases}$$
onde $m, \alpha, \gamma \ge 1$ e $\chi \in \mathbb{R}$ representa o coeficiente de sensibilidade à quimiotaxia. O sistema modela a evolução de uma espécie biológica ($u$) influenciada por um sinal químico ($v$) produzido pela própria espécie. O foco principal está nas soluções de ondas viajantes que conectam os estados constantes $(1, 1)$ e $(0, 0)$, os quais caracterizam fenômenos de propagação de frente.

Embora a existência de tais ondas para o caso específico $m = \alpha = \gamma = 1$ tenha sido estudada extensivamente, há uma escassez de literatura referente a:

1. A existência, unicidade, estabilidade e monotonicidade de ondas viajantes para parâmetros gerais $m, \alpha, \gamma \ge 1$.
2. A estabilidade e monotonicidade dessas ondas mesmo no caso especial $m = \alpha = \gamma = 1$.
3. A influência precisa da sensibilidade à quimiotaxia $\chi$ (tanto negativa/repulsão quanto positiva/a atração) sobre a velocidade da onda e as propriedades do perfil para parâmetros gerais.

Metodologia
Os autores empregam uma combinação de técnicas analíticas para abordar o problema de Cauchy e o problema de ondas viajantes:

1. Bem-postura Global e Estabilização:

   • Para o problema de Cauchy, os autores estabelecem a existência global e a limitação de soluções clássicas positivas utilizando o teorema do ponto fixo de Schauder e princípios de comparação.
   • Para provar a estabilização da solução constante positiva $(1, 1)$, eles utilizam uma "abordagem retângulo/EDO". Isso envolve a construção de super-soluções e sub-soluções por meio de equações diferenciais ordinárias que limitam o supremo e o ínfimo espaciais da solução $u(t, x)$, demonstrando que essas limitações convergem para 1 quando $t \to \infty$.

2. Existência de Ondas Viajantes:

   • A existência de ondas viajantes é provada usando o método de super-soluções e sub-soluções.
   • Para sensibilidade negativa ($\chi \le 0$), os autores constroem super-soluções e sub-soluções monótonas para estabelecer a existência de ondas viajantes monótonas.
   • Para sensibilidade positiva ($\chi > 0$), eles constroem limitações similares sob restrições específicas em $\chi$ e nos parâmetros para provar a existência.
   • Um argumento de ponto fixo em um espaço de funções adequado é utilizado para obter a solução estacionária no referencial móvel, o que corresponde à onda viajante.

3. Estabilidade e Unicidade:

   • A estabilidade é analisada em espaços $L^2$ ponderados. Os autores derivam estimativas a priori para os perfis de ondas viajantes, especificamente limitando $|u_x|$ e $|u_x/u|$.
   • Ao linearizar o sistema em torno da onda viajante e utilizar estimativas de energia em espaços ponderados, eles determinam uma velocidade crítica de onda $c^{**}_{\chi, m, \alpha, \gamma}$ acima da qual as ondas são assintoticamente estáveis.
   • A unicidade é deduzida diretamente do resultado de estabilidade: se duas ondas viajantes satisfazem as mesmas condições assintóticas e taxas de decaimento, sua diferença deve desaparecer ao longo do tempo, implicando que elas são idênticas.

Principais Contribuições e Resultados

• Existência Global e Limitação (Proposições 1.1 e 1.2):

  • O artigo estende resultados conhecidos para $m=\alpha=\gamma=1$ ao caso geral $m, \alpha, \gamma \ge 1$.
  • Para $\chi \le 0$, a existência global e a limitação são estabelecidas para qualquer dado inicial não negativo.
  • Para $\chi > 0$, a existência global é provada sob condições como $\alpha > m + \gamma - 1$ ou limitações específicas em $\chi$ quando $\alpha = m + \gamma - 1$.
  • A estabilidade do estado constante $(1, 1)$ é provada para perturbações estritamente positivas sob condições incluindo $\chi \le 0$ ou $0 < \chi < 1/2$.

• Existência de Ondas Viajantes (Teorema 1.1):

  • Sensibilidade Negativa ($\chi \le 0$): Os autores provam a existência de ondas viajantes monótonas conectando $(1, 1)$ e $(0, 0)$ para qualquer velocidade $c > c^*_{\chi, m, \gamma}$. Eles fornecem uma limitação inferior explícita para a velocidade da onda $c^*_{\chi, m, \gamma}$ e estabelecem a taxa de decaimento exponencial do perfil da onda. Esta é a primeira prova de monotonicidade e taxas de decaimento explícitas para este sistema com parâmetros gerais.
  • Sensibilidade Positiva ($0 \le \chi < \min\{1/2, \chi^*\}$): O artigo prova a existência de ondas viajantes para qualquer velocidade $c > 2$ quando $\alpha = m + \gamma - 1$. Essas soluções também exibem taxas de decaimento exponencial explícitas.

• Estabilidade e Unicidade (Teoremas 1.2 e 1.3):

  • Os autores identificam uma velocidade limiar $c^{**}_{\chi, m, \alpha, \gamma}$ (que se aproxima de 2 quando $\chi \to 0$) tal que ondas viajantes com velocidade $c > c^{**}_{\chi, m, \alpha, \gamma}$ são estáveis em espaços ponderados e únicas.
  • Esses resultados são novos mesmo para o caso $m = \alpha = \gamma = 1$.

Significado e Alegações
O artigo alega preencher lacunas críticas na literatura referente a modelos de quimiotaxia com fontes logísticas:

1. Generalização: Estende resultados de existência e estabilidade do caso linear ($m=\alpha=\gamma=1$) para o caso não linear geral ($m, \alpha, \gamma \ge 1$).
2. Monotonicidade: Fornece a primeira prova de monotonicidade para ondas viajantes neste sistema quando $\chi \le 0$, uma propriedade anteriormente não provada mesmo para o caso especial.
3. Estabilidade e Unicidade: Estabelece os primeiros resultados de estabilidade e unicidade para ondas viajantes conectando $(1, 1)$ e $(0, 0)$ para esta classe de sistemas, abordando um problema aberto de longa data.
4. Optimalidade das Limitações: Embora as limitações inferiores derivadas para as velocidades das ondas ($c^*$ e $c^{**}$) não sejam alegadas como ótimas, os autores demonstram que são "próximas do ótimo" em casos limite (por exemplo, quando $\chi \to 0$ ou $\chi \to -\infty$). Especificamente, quando $\chi \to -\infty$, a velocidade mínima escala como $O(\sqrt{|\chi|})$, consistente com o comportamento da equação de meio poroso.

Os autores observam explicitamente que, embora se conjecture que uma sensibilidade negativa forte acelere a propagação da onda para parâmetros gerais, e que uma sensibilidade positiva forte possa levar a ondas oscilatórias, esses fenômenos específicos não são rigorosamente provados neste trabalho devido ao escopo do artigo. As técnicas desenvolvidas, incluindo a abordagem retângulo/EDO para estabilização e as estimativas de energia ponderada para estabilidade, são apresentadas como aplicáveis a outros modelos de quimiotaxia.