Boundary value problems for some quasilinear parabolic equations under minimal conditions on the coefficients

Resumo Técnico: Problemas de Valor de Contorno para Equações Parabólicas Quasilineares sob Condições Mínimas

Enunciado do Problema
O artigo investiga problemas de valor de contorno para uma classe de equações parabólicas quasilineares da forma:
$$Mu = u_t - \sum_{i,j=1}^n \frac{\partial}{\partial x_i}(a_{ij}(t, x, u)u_{x_j}) + b(t, x, u, \nabla u) = 0$$
definida em um cilindro $Q = (0, T) \times G$, onde $G \subset \mathbb{R}^n$ é um domínio limitado. O estudo aborda dois cenários primários de condições de contorno:

1. Condições de Dirichlet: $u|_{t=0} = u_0$ e $u|_S = g(t, x)$, onde $S = (0, T) \times \Gamma$.
2. Condições de Robin (oblíquas): $u|_{t=0} = u_0$ e $\frac{\partial u}{\partial N} + \psi(t, x, u)|_S = 0$, onde $\frac{\partial u}{\partial N}$ é a derivada conorminal.

O objetivo central é estabelecer teoremas de existência e unicidade para soluções dentro do espaço de Sobolev $W^{1,2}_p(Q)$ sob condições de suavidade mínima nos coeficientes $a_{ij}$, no termo de ordem inferior $b$ e na função de contorno $\psi$. Isso contrasta com a literatura existente (ex: monografias [1], [2]) que frequentemente exige continuidade de Hölder ou pressupostos de regularidade mais fortes.

Metodologia
A estratégia de prova combina diversas técnicas analíticas avançadas:

• Estimativas A Priori: Os autores derivam limites agudos para as soluções.
  • Princípio do Máximo: Um princípio do máximo é estabelecido para limitar a norma $L^\infty$ da solução. Diferente de abordagens anteriores em espaços de Hölder, os autores utilizam um método distinto para lidar com soluções generalizadas, particularmente para a condição de contorno de Robin (3).
  • Continuidade de Hölder: A abordagem de [1] é adaptada para provar que as soluções são contínuas em Hölder, o que é um pré-requisito para lidar com a não linearidade nos coeficientes.
  • Coeficientes Congelados: Para obter estimativas $W^{1,2}_p$, o método de "coeficientes congelados" é empregado. O problema não linear é localmente aproximado por problemas lineares com coeficientes constantes (congelados), permitindo o uso de estimativas da teoria linear.
• Continuação em um Parâmetro: A existência é provada utilizando o método de continuação em um parâmetro $\gamma \in [0, 1]$. O problema é deformado de uma equação do calor linear ($\gamma=0$) para a equação quasilinear completa ($\gamma=1$).
• Teoria do Ponto Fixo: A solvabilidade do problema deformado é reduzida à busca por um ponto fixo de um operador contínuo compacto. A compacidade baseia-se nos teoremas de imersão de espaços de Sobolev em espaços de Hölder.
• Análise de Unicidade: A unicidade é demonstrada através da análise da diferença entre duas potenciais soluções, utilizando condições específicas de crescimento e do tipo Lipschitz para a função $b$ e o termo de contorno $\psi$.

Principais Contribuições e Resultados
O artigo fornece teoremas que estabelecem:

1. Existência e Unicidade em $W^{1,2}_p(Q)$:

   • Teorema 7 prova a existência de uma solução única $u \in W^{1,2}_p(Q)$ para problemas de Dirichlet e de Robin, desde que $p > (n+2)/2$.
   • As condições sobre os dados são mínimas:
     • Os coeficientes $a_{ij}$ são contínuos em todas as variáveis e satisfazem elipticidade uniforme.
     • As derivadas $a_{ij, x_i}$ e $a_{ij, u}$ satisfazem condições específicas de integrabilidade e continuidade (ex: $a_{ij, x_i} \in L^{q_3}(Q; C([-R, R]))$).
     • A função $b$ satisfaz condições de Carathéodory e limites de crescimento específicos (quadráticos em $\nabla u$).
     • Para a condição de Robin, $\psi$ e suas derivadas satisfazem condições de continuidade de Sobolev análogas.
   • Condições de consistência em $t=0$ (correspondência entre dados iniciais e de contorno) são necessárias, particularmente para $p > 3$ no caso de Robin.

2. Limites A Priori:

   • Teoremas 3 e 4 estabelecem limites $L^\infty$ para as soluções dependentes das normas dos dados e da constante de elipticidade $\delta_0$.
   • Teorema 5 estabelece a continuidade de Hölder ($C^{\alpha_1, 2\alpha_1}$) da solução, o que é crucial para o argumento de ponto fixo.
   • Teorema 6 fornece a estimativa crucial $W^{1,2}_p$, mostrando que a norma da solução é limitada pelas normas dos dados iniciais e de contorno, independentemente da própria solução.

3. Solvabilidade Local:

   • Teorema 8 aborda a solvabilidade local para uma classe mais ampla de dados onde a suavidade global pode não ocorrer inicialmente. Prova que, se os dados iniciais $u_0$ e seu gradiente forem limitados, existe uma solução localmente no tempo ($Q_{\tau_0}$) mesmo que os coeficientes $a_{ij}$ e $b$ sejam definidos/contínuos apenas em uma vizinhança do intervalo dos dados iniciais.

4. Condições de Unicidade:

   • Condições distintas são fornecidas para a unicidade baseadas no valor de $p$:
     • Para $p > n+2$, condições Lipschitz padrão em $b$ em relação a $u$ e $\nabla u$ (ponderadas por funções $L^q$) são suficientes.
     • Para $(n+2)/2 < p \le n+2$, condições mais fracas envolvendo crescimento polinomial em $\nabla u$ são suficientes, desde que os coeficientes $g_1, g_2$ pertençam a espaços $L^q$ específicos.

Significância e Alegações
O artigo afirma expor "condições agudas" sobre os dados que estão "longe de serem ótimas" nos trabalhos anteriores (referenciando especificamente os requisitos de espaço de Hölder de [1] e [2]). Ao trabalhar em espaços de Sobolev $W^{1,2}_p(Q)$ com $p > (n+2)/2$, os autores permitem coeficientes que são meramente contínuos (ou possuem derivadas generalizadas em espaços $L^q$ específicos), em vez de exigir continuidade $C^k$ ou de Hölder.

Os autores destacam que sua abordagem para estimativas de máximo permite o tratamento de soluções generalizadas sob condições de Robin, um caso onde os métodos anteriores em [1] e [2] foram insuficientes. Os resultados pretendem facilitar:

• A análise de solvabilidade para problemas parabólicos inversos.
• Provas de existência e unicidade sob perturbações.
• O desenvolvimento de métodos de aproximação construtiva via técnicas iterativas.

Este trabalho é apoiado pela Fundação de Ciência da Rússia e pelo Governo do Distrito Autônomo de Khanty-Mansiysk YUGRA.