Boundary regularity for parabolic systems with nonstandard $(p,q)$-growth conditions in smooth convex domains

Resumo Técnico de "Boundary Regularity for Parabolic Systems with Nonstandard (p, q)-Growth Conditions in Smooth Convex Domains"

Enunciado do Problema
Este manuscrito investiga a regularidade de contorno de soluções fracas locais para sistemas parabólicos não lineares da forma:
$$\partial_t u_i - \text{div}(a(|Du|)Du_i) = f_i, \quad i = 1, \dots, N,$$
definidos em um cilindro espaço-tempo $\Omega_T = \Omega \times (0, T)$. O domínio $\Omega \subset \mathbb{R}^n$ ($n \ge 2$) é um conjunto convexo $C^2$ limitado. Os coeficientes $a: \mathbb{R}_{>0} \to \mathbb{R}_{>0}$ são do tipo Uhlenbeck e satisfazem condições de crescimento não padrão $(p, q)$ com $2 \le p \le q < p + \frac{4}{n+2}$. A inhomogeneidade $f$ pertence a $L^{n+2+\sigma}(\Omega_T, \mathbb{R}^N)$ para algum $\sigma > 0$.

O objetivo primário é estabelecer uma estimativa de gradiente local $L^\infty$ (regularidade Lipschitz) para soluções fracas $u$ que se anulam na fronteira lateral $(\partial \Omega)_T$, estendendo resultados anteriores de interior para o contorno no contexto de crescimento não padrão.

Metodologia
A estratégia de prova segue uma abordagem de três etapas, adaptando técnicas da teoria de regularidade elíptica e parabólica padrão para o cenário de crescimento não padrão:

1. Estimativas A Priori para Soluções Suaves:
   Os autores primeiro derivam uma estimativa quantitativa de gradiente $L^\infty$ para soluções clássicas suaves ($u \in C^3$) com coeficientes e dados suaves. Isso envolve:

   • Estabelecer uma desigualdade do tipo Caccioppoli envolvendo derivadas de segunda ordem, utilizando a convexidade de $\Omega$ e condições de contorno de Dirichlet homogêneas para descartar termos de contorno desfavoráveis via uma identidade de geometria diferencial (Grisvard).
   • Derivar uma desigualdade do tipo Hölder reversa. Esta etapa depende da relação específica de parâmetros $q < p + \frac{4}{n+2}$, que garante que o embutimento de Sobolev no cenário parabólico (melhorando a integrabilidade de $p$ para $p + \frac{4}{n}$) seja suficiente para fechar a estimativa.
   • Executar um procedimento de iteração de Moser para obter uma cota $L^\infty$. Um componente crítico é lidar com o "déficit de escala" inerente aos sistemas de crescimento $(p, q)$, que impede que a estimativa seja homogênea.

2. Procedimento de Aproximação:
   Como o resultado principal se aplica a soluções fracas com dados e coeficientes não suaves, um esquema de aproximação é construído:

   • Os coeficientes $a$ e o dado $f$ são suavizados para obter aproximações suaves $a_\varepsilon$ e $f_\varepsilon$.
   • Um termo semelhante ao $q$-Laplaciano não degenerado é adicionado aos coeficientes para definir $b_\varepsilon$, garantindo condições de crescimento $q$ padrão que garantem a existência de soluções fracas únicas e regulares ($C^3$) $u_\varepsilon$.
   • Uma estimativa de comparação é provada entre as soluções aproximantes $u_\varepsilon$ e a solução fraca original $u$, demonstrando convergência forte dos gradientes $Du_\varepsilon \to Du$ em $L^p$.

3. Passagem ao Limite:
   A estimativa quantitativa de gradiente $L^\infty$ derivada para as aproximações suaves é aplicada a $u_\varepsilon$. Ao passar para o limite $\varepsilon \to 0$ e utilizar a semicontinuidade inferior da norma $L^\infty$ e a convergência dos dados, a estimativa é transferida para a solução fraca original $u$.

Principais Contribuições e Resultados
O resultado principal é o Teorema 1.3, que estabelece que, para qualquer solução fraca local $u$ que se anula na fronteira lateral, o gradiente $Du$ é essencialmente limitado em uma vizinhança do contorno. Especificamente, para qualquer cilindro parabólico $Q_\rho(z_0)$ centrado em um ponto de contorno $x_0 \in \partial \Omega$:
$$Du \in L^\infty(\Omega_T \cap Q_\rho(z_0), \mathbb{R}^{Nn}).$$
O artigo fornece uma estimativa quantitativa precisa (Equação 1.6):
$$\sup_{\Omega_T \cap Q_\rho(z_0)} |Du| \le C \left( \left( 1 + \|f\|_{L^{n+2+\sigma}}^{(n+2)(n+2+\sigma)/\sigma} \rho^{n+2} \right) \fint_{\Omega_T \cap Q_{2\rho}(z_0)} (1 + |Du|^p) \, dxdt \right)^{\frac{2p}{4+(p-q)(n+2)}}.$$

As características técnicas principais deste resultado incluem:

• Intervalo de Parâmetros: O resultado é válido para o intervalo $2 \le p \le q < p + \frac{4}{n+2}$. Este intervalo coincide com os resultados recentes de interior para sistemas parabólicos de crescimento não padrão (citando [6, 42]), mas é adaptado para o cenário de contorno.
• Déficit de Escala: O expoente $\frac{2p}{4+(p-q)(n+2)}$ representa o déficit de escala característico de sistemas parabólicos com crescimento não padrão. O artigo observa que este expoente explode conforme $q$ se aproxima do limite superior $p + \frac{4}{n+2}$, destacando a nitidez da condição.
• Regularidade do Domínio: A prova requer que $\Omega$ seja um domínio $C^2$. Esta regularidade é essencial para a aplicação da identidade de geometria diferencial usada para lidar com integrais de contorno na estimativa de Caccioppoli.
• Regularidade dos Dados: Assume-se que a inhomogeneidade $f$ pertence a $L^{n+2+\sigma}$, o que é suficiente para a derivação da estimativa sem exigir diferenciabilidade fraca de $f$.

Significância e Alegações
O artigo posiciona seu trabalho como um contraparte de contorno para os resultados de regularidade de interior existentes para sistemas parabólicos de crescimento não padrão $(p, q)$ (citando [6, 42]) e estende a teoria de regularidade de contorno conhecida para sistemas parabólicos de crescimento $p$ padrão (citando [5]) para o caso não padrão.

Os autores alegam que este trabalho preenche uma lacuna na literatura em relação à regularidade global (até o contorno) para sistemas parabólicos com crescimento não padrão, um tópico onde os resultados são significativamente mais escassos do que no cenário elíptico. A estimativa fornecida é consistente com resultados de contorno anteriores no cenário elíptico $(p, q)$ [7] e no caso parabólico $(p, p)$ [5]. O artigo não pretende resolver o problema para o caso degenerado ($\mu=0$) ou para estruturas não-Uhlenbeck gerais, observando que estas últimas tipicamente permitem apenas regularidade parcial. O foco permanece estritamente em estabelecer o limite local de Lipschitz sob as especificadas suposições estruturais e geométricas.