Local existence and blow-up behavior for the diffusive Hamilton-Jacobi equation in a half-space with unbounded initial data

Resumo Técnico: Existência Local e Comportamento de Explosão para a Equação de Hamilton-Jacobi Difusiva em um Semiespaço com Dados Iniciais Não Limitados

Enunciado do Problema
Este artigo investiga a equação de Hamilton-Jacobi difusiva:
$$u_t - \Delta u = |\nabla u|^p, \quad p > 1$$
formulada no semiespaço $H = \mathbb{R}^n_+$ com condições de contorno de Dirichlet ($u=0$ em $\partial H$). O foco principal recai sobre soluções com dados iniciais não limitados $u_0(x)$ que podem crescer no infinito espacial. Embora o comportamento de soluções em domínios limitados e para dados iniciais limitados em domínios não limitados esteja bem estabelecido (notadamente o fenômeno de explosão do gradiente, ou gradient blow-up, GBU), o caso de dados iniciais não limitados em domínios não limitados permanece amplamente inexplorado. O artigo aborda a boa colocação local (local well-posedness), a nitidez das taxas de crescimento admissíveis e a dinâmica detalhada da explosão para tais soluções.

Metodologia
A análise baseia-se em uma combinação de princípios de comparação, construção de funções barreira, argumentos de reescalonamento e teoremas do tipo Liouville.

1. Boa Colocação Local e Unicidade: Os autores estabelecem um princípio de comparação (Proposição 3.1) adaptado para soluções com crescimento polinomial no infinito, utilizando um argumento de penalização no infinito espacial por meio de uma função perturbada $Z_\epsilon$ para lidar com o domínio não limitado. A unicidade é derivada como uma consequência deste princípio de comparação dentro de um espaço de funções específico $Y_T$.
2. Existência via Regularização: A existência local é provada regularizando os dados iniciais $u_0$ via suavização (mollification) para obter aproximações suaves e limitadas $u_{0,k}$. Estimativas a priori uniformes (especificamente sobre a solução e seu gradiente) são derivadas usando supersoluções e funções barreira (por exemplo, $v_1$ e $v_2$) que dependem da taxa de crescimento de $u_0$. Um argumento de compacidade então produz uma solução clássica.
3. Não-existência: Para provar a nitidez da classe de crescimento admissível, os autores constroem uma contradição comparando uma hipotética solução com uma solução autossimilar reversa da literatura anterior [5]. Se os dados iniciais crescerem rápido demais, eles dominam o perfil autossimilar, levando a uma contradição com a existência de uma solução clássica até um determinado tempo.
4. Análise de Explosão (Blow-up Analysis):
   • Tipo I vs. Tipo II: O artigo distingue entre explosão do Tipo I (onde o gradiente cresce na taxa autossimilar) e explosão do Tipo II (crescimento mais rápido).
   • Reescalonamento e Teoremas de Liouville: Para a explosão do Tipo II, os autores empregam um argumento de reescalonamento (análise de explosão) onde a solução é "zoomada" perto da singularidade. O limite dessas soluções reescalonadas é mostrado como sendo uma solução inteira da equação. A classificação dessas soluções inteiras depende de recentes teoremas do tipo Liouville [5, 8], que afirmam que soluções inteiras limitadas no semiespaço devem ser estacionárias e depender apenas da variável normal $x_n$.
   • Estimativas de Gradiente: Estimativas do tipo Bernstein e argumentos de regularidade do semigrupo do calor são usados para derivar limites precisos superiores e inferiores no gradiente próximo ao tempo de explosão.

Principais Contribuições e Resultados

1. Classe Ótima de Dados Iniciais:
   O artigo define uma classe ótima de dados iniciais $X$ (para $1 < p \le 2$) e $X_1$ (para $p > 2$) permitindo crescimento no infinito e singularidades na fronteira.

   • Crescimento no Infinito: O expoente crítico é identificado como $p/(p-1)$. Especificamente, $u_0(x) \lesssim x_n^{1+\beta}$ quando $x_n \to \infty$ (onde $\beta = 1/(p-1)$) é o limiar nítido. O Teorema 2.3 prova que se $u_0$ cresce mais rápido que esta taxa uniformemente em $x'$, nenhuma solução clássica existe.
   • Comportamento na Fronteira: Para $p > 2$, os dados iniciais devem satisfazer um limite específico próximo à fronteira $x_n=0$: $\limsup_{x_n \to 0} x_n^{\beta-1} \sup_{x'} u_0(x', x_n) < c_p$. Se isso for violado, a solução deixa de ser clássica imediatamente.

2. Boa Colocação Local e Alternativa de Explosão:

   • Teoremas 2.1 & 2.2: Para dados iniciais na classe ótima, existe uma única solução clássica maximal.
   • Alternativa de Explosão: Se o tempo de existência maximal $T_{max}$ for finito, a solução ou explode na norma $L^\infty$ ponderada (para $1 < p \le 2$) ou exibe explosão de gradiente (GBU) a uma distância finita da fronteira (para $p > 2$).

3. Comportamento de Explosão para Crescimento Subcrítico:
   Quando os dados iniciais possuem crescimento subcrítico ($u_0 \lesssim x_n^\gamma$ com $\gamma < 1+\beta$):

   • Existência Global: Para $1 < p \le 2$, as soluções existem globalmente no tempo.
   • Explosão em Tempo Finito: Para $p > 2$, a explosão em tempo finito ocorre apenas via explosão de gradiente do Tipo II na fronteira. A solução permanece limitada em qualquer faixa $\Gamma_R$, enquanto o gradiente torna-se ilimitado.
   • Estimativas Nítidas: O artigo deriva limites superiores e inferiores nítidos para o gradiente. O limite inferior coincide com a taxa padrão do Tipo II: $\|\nabla u\|_{L^\infty} \ge C(T-t)^{-1/(p-2)}$. O limite superior mostra que o gradiente é controlado pelo perfil estacionário singular: $|\nabla u| \le (1+\epsilon) d_p x_n^{-\beta} + C$.

4. Perfil Assintótico da Explosão do Tipo II:

   • Teorema 2.5 (Bubbling): Para soluções do Tipo II, existe uma sequência de pontos convergindo para a fronteira e para o tempo de explosão tal que o gradiente reescalonado converge localmente de forma uniforme para um perfil unidimensional explícito: $d_p (x_n + \beta)^{-\beta} e_n$.
   • Teorema 2.6 (Dicotomia): Em qualquer ponto próximo à singularidade, o gradiente ou se comporta de maneira do Tipo I ou é controlado pelo perfil estacionário singular. Isso estabelece que estas são as únicas duas possibilidades locais para o comportamento de explosão.

Significância e Alegações
O artigo afirma preencher uma lacuna significativa na teoria das equações parabólicas não lineares ao fornecer o primeiro estudo abrangente da equação de Hamilton-Jacobi difusiva em um domínio não limitado com dados iniciais não limitados.

• Extensão da Boa Colocação: Ele estende o arcabouço clássico de boa colocação (tipicamente restrito a dados limitados) para uma classe ótima de dados não limitados, identificando o expoente de crescimento crítico preciso $p/(p-1)$ como o limiar para existência.
• Dinâmica de Explosão Refinada: Diferente do caso de domínio limitado, onde a explosão é sempre GBU de fronteira do Tipo II, este trabalho revela uma estrutura mais rica no semiespaço. Ele demonstra a coexistência de explosão $L^\infty$ do Tipo I (para dados de crescimento crítico) e GBU de fronteira do Tipo II (para dados de crescimento subcrítico).
• Nitidez: Os resultados são mostrados como nítidos; o artigo fornece resultados de não-existência para dados que crescem mais rápido que a taxa crítica e demonstra que a condição de contorno nos dados iniciais para $p>2$ é necessária para a solvabilidade clássica.
• Descrição Assintótica: O artigo fornece uma descrição refinada da formação da singularidade, provando que soluções de explosão do Tipo II convergem para um perfil unidimensional explícito após o reescalonamento, caracterizando assim a formação da singularidade assintótica em detalhes.

Os autores observam que seu estudo é restrito a dados iniciais não negativos para fins de simplicidade, embora sugiram que essa restrição possa ser relaxada. O trabalho depende fortemente de existentes teoremas do tipo Liouville e princípios de comparação, adaptando-os à geometria específica e às condições de crescimento do problema no semiespaço.