Sharp threshold for a one-dimensional thin film equation in the supercritical case

Resumo Técnico: Limiar Agudo para uma Equação de Filme Fino Unidimensional no Caso Supercrítico

Enunciado do Problema
Este artigo investiga o comportamento dinâmico de uma equação de filme fino unidimensional que modela a competição entre agregação e repulsão. A equação é dada por:
$$\partial_t u = -\partial_x (u u_{xxx})_x - \partial_x (u (u^m)_x), \quad x \in \mathbb{R}, t > 0$$
onde $u(x,t)$ representa a espessura local do filme. O modelo apresenta um termo de difusão de quarta ordem (repulsão) e um termo de difusão degenerada de segunda ordem reversa com expoente $m > 0$ (agregação). O estudo foca no regime supercrítico onde $m > 3$. Neste regime, a agregação domina a repulsão para grandes parâmetros de escala, potencialmente levando a uma explosão em tempo finito (ruptura), enquanto a repulsão domina em pequenas escalas, permitindo a dispersão.

O objetivo principal é estabelecer um limiar agudo que distingue entre existência global e explosão em tempo finito para soluções não negativas com massa finita e segundo momento finito. Resultados anteriores (especificamente [2]) estabeleceram explosão apenas para dados iniciais com energia livre negativa. Este trabalho visa estender o critério de explosão a uma classe muito mais ampla de dados iniciais, incluindo aqueles com energia livre positiva, identificando um perfil crítico preciso.

Metodologia
A análise baseia-se numa abordagem variacional que liga o sistema dinâmico à desigualdade de Sz.-Nagy, uma desigualdade funcional aguda. A metodologia prossegue através dos seguintes passos:

1. Caracterização Variacional: Os autores utilizam a desigualdade de Sz.-Nagy para identificar funções extremas. Eles provam que essas funções extremas correspondem exatamente às soluções de estado estacionário da equação de filme fino. Especificamente, o estado estacionário $U^*$ é mostrado como a única solução não negativa, radialmente decrescente, com suporte limitado e ângulo de contato zero que otimiza a desigualdade sob restrições de massa.
2. Análise da Paisagem Energética: O funcional de energia livre é definido como:
   $$F(u) = \frac{1}{2} \int_{\mathbb{R}} (u_x)^2 dx - \frac{1}{m+1} \int_{\mathbb{R}} u^{m+1} dx$$
   O artigo demonstra que o estado estacionário $U^*$ atua como um minimizador global desta energia livre dentro de conjuntos de restrição específicos definidos pela norma $L^{m+1}$.
3. Construção do Limiar: Ao comparar a norma $L^{m+1}$ dos dados iniciais ($\|u_0\|_{m+1}$) e a energia livre ($F(u_0)$) com os valores críticos associados a $U^*$, os autores constroem uma dicotomia.
4. Análise Dinâmica:
   • Explosão: Para dados iniciais onde $\|u_0\|_{m+1} > \|U^*\|_{m+1}$ e $F(u_0) < F(U^*)$, os autores analisam a evolução temporal do segundo momento $m_2(t) = \int x^2 u dx$. Eles mostram que o segundo momento diminui até zero em tempo finito, implicando a concentração de massa e subsequente explosão.
   • Existência Global: Para dados iniciais onde $\|u_0\|_{m+1} < \|U^*\|_{m+1}$ e $F(u_0) < F(U^*)$, os autores estabelecem limites a priori uniformes na norma $L^{m+1}$ e no gradiente. Isso previne a explosão e garante existência global, com o segundo momento divergindo quando $t \to \infty$.

Principais Contribuições e Resultados

• Identificação do Perfil Crítico: O artigo prova que o único otimizador da desigualdade de Sz.-Nagy (para $m \neq 3$) é o único estado estacionário $U^*$ da equação. Este estado estacionário serve como o "pivô crítico" que liga a estrutura variacional ao comportamento dinâmico.
• Critério de Limiar Agudo: O resultado principal (Teorema 1.5) estabelece uma dicotomia aguda para o caso supercrítico ($m > 3$):
  • Explosão em tempo finito: Ocorre se a energia livre inicial estiver abaixo do limiar $F(U^*)$ (que é positiva para $m>3$) e a norma $L^{m+1}$ inicial exceder a do estado estacionário ($\|u_0\|_{m+1} > \|U^*\|_{m+1}$).
  • Existência global: Ocorre se a energia livre inicial estiver abaixo de $F(U^*)$ e a norma $L^{m+1}$ inicial estiver abaixo da do estado estacionário ($\|u_0\|_{m+1} < \|U^*\|_{m+1}$). Neste caso, a solução existe globalmente, e o segundo momento diverge, indicando dispersão em tempo infinito.
• Extensão das Condições de Explosão: O trabalho estende significativamente a condição de explosão conhecida. Anteriormente, a explosão era garantida apenas para dados iniciais com energia livre negativa. Este artigo mostra que a explosão ocorre mesmo quando a energia livre inicial é positiva, desde que esteja abaixo do valor crítico $F(U^*)$ e a concentração (norma $L^{m+1}$) seja suficientemente alta.
• Paisagem Energética: O artigo caracteriza a paisagem energética, mostrando que $U^*$ é o único minimizador global da energia livre entre todos os estados estacionários com uma dada massa no regime supercrítico. O valor mínimo de energia é calculado explicitamente como $F(U^*) = \frac{m-3}{3(m+1)} \|U^*\|_{m+1}^{m+1} > 0$.

Significado
O artigo afirma que seus resultados fornecem um método construtivo para determinar o destino das soluções (explosão vs. existência global) através de uma comparação explícita da norma $L^{m+1}$ dos dados iniciais com o perfil crítico $U^*$. Esta abordagem supera a limitação da conservação de massa isolada, que não fornece controle de escala suficiente no regime supercrítico. Ao explorar plenamente a estrutura variacional dos estados estacionários e sua conexão com a desigualdade de Sz.-Nagy, os autores identificam uma estrutura precisa de "poço de potencial". O estado estacionário $U^*$ atua como a crista deste poço; dados iniciais "cruzando a crista" (concentração suficientemente alta) deslizam para um desfiladeiro íngreme levando à ruptura, enquanto dados que permanecem no vale suave levam à existência global e dispersão.

As descobertas destacam o papel crucial das desigualdades funcionais agudas na compreensão da dinâmica de limiares para equações de difusão degenerada de ordem superior, oferecendo um quadro rigoroso que unifica a caracterização variacional com os resultados dinâmicos.