Fractional higher differentiability of solutions to strongly nonlinear Stokes systems

1. O Problema Investigado

O trabalho foca na regularidade de soluções locais para sistemas de Stokes estacionários do tipo não-linear forte, descritos pela equação:
$$\begin{cases} -\text{div } a(x, Eu) + \nabla \pi = f \\ \text{div } u = 0 \end{cases}$$
em um domínio aberto $\Omega \subset \mathbb{R}^n$ ($n \geq 2$).

• Variáveis: $u$ é o vetor velocidade do fluido, $\pi$ é a pressão, $Eu = \frac{1}{2}(\nabla u + (\nabla u)^T)$ é o gradiente simétrico (taxa de deformação), e $f$ é uma força externa.
• Não-Linearidade: O operador $a(x, P)$ é uma função geral que não necessariamente segue um comportamento de potência (tipo $p$-Laplaciano). Ele satisfaz condições de elipticidade e crescimento definidas por funções de Young $\phi$ e $\psi$.
• Desafio: Estabelecer propriedades de diferenciabilidade fracionária (regularidade de ordem não inteira) tanto para o gradiente simétrico da solução ($Eu$) quanto para a pressão ($\pi$), considerando que o operador pode ser degenerado e que os dados ($f$) e a dependência espacial de $a$ possuem regularidade limitada.

2. Metodologia e Ferramentas Matemáticas

Os autores utilizam um arcabouço funcional avançado baseado em Espaços de Orlicz e Orlicz-Sobolev, generalizando os espaços de Lebesgue e Sobolev clássicos ($L^p$ e $W^{1,p}$).

• Espaços Funcionais:
  • As soluções e os dados são tratados em espaços $L^\psi_{loc}$ e $W^{1,\phi}_{loc}$.
  • A regularidade é medida através da pertença a Espaços de Besov ($B^{\sigma, 2, \infty}_{loc}$) e Espaços de Sobolev Fracionários.
• Expressão Chave $V(Eu)$:
  • Devido à possível degenerescência do operador, a regularidade não é estudada diretamente em $Eu$, mas sim na expressão não-linear:
    $$V(Eu) = \sqrt{\frac{\phi'(|Eu|)}{|Eu|}} Eu$$
  • Esta transformação é crucial para linearizar o comportamento do operador em torno de valores grandes e pequenos de $|Eu|$.
• Desigualdade de Poincaré-Sobolev Modular:
  • Uma contribuição técnica central é a prova de uma nova versão da desigualdade de Poincaré-Sobolev em espaços de Orlicz, em forma modular, para domínios de medida finita. Isso permite lidar com funções de Young que não satisfazem a condição $\Delta_2$ globalmente na definição do conjugado de Sobolev.
• Técnicas de Aproximação e Iteração:
  • O método de prova envolve um argumento de dois passos:
    1. Estabelecimento de estimativas a priori sob suposições de regularidade mais fortes (dados e coeficientes limitados).
    2. Uso de um processo de regularização (mollificadores) e argumentos de convergência para remover essas suposições e obter o resultado geral.
  • Utiliza-se o Lema de Iteração de Stampacchia (ou similar) para lidar com as estimativas em bolas aninhadas.
  • O Lema de Bogovskiĭ em espaços de Orlicz é empregado para construir funções de teste com divergência nula, essencial para lidar com o termo de pressão.

3. Principais Contribuições e Resultados

A. Regularidade Fracionária do Gradiente Simétrico

O teorema principal (Teorema 4.1) estabelece que, sob condições de equilíbrio entre a não-linearidade do operador e a integrabilidade do dado $f$, a expressão $V(Eu)$ pertence a um espaço de Besov local:
$$V(Eu) \in B^{\sigma, 2, \infty}_{loc}(\Omega, \mathbb{R}^{n \times n})$$

• Parâmetro de Regularidade ($\sigma$): O expoente de regularidade fracionária é dado por $\sigma = \min\{\alpha, \theta, \theta s'_\phi / 2\}$, onde:
  • $\alpha$: Regularidade de Hölder (ou Sobolev) da função $a$ em relação à variável espacial $x$.
  • $\theta$: Parâmetro de interpolação que mede o quão "melhor" é a integrabilidade de $f$ em relação ao mínimo necessário para a existência de soluções fracas.
  • $s'_\phi$: Índice de Simonenko conjugado da função de Young $\phi$.
• Condição sobre $f$: O dado $f$ deve pertencer a um espaço de Orlicz $L^\psi_{loc}$, onde $\psi$ satisfaz uma condição de interpolação específica envolvendo $\phi$ e sua conjugada de Sobolev $\phi_n$. Isso permite tratar dados com integrabilidade superior à mínima exigida para a existência de soluções.

B. Regularidade Fracionária da Pressão

O artigo demonstra pela primeira vez, neste grau de generalidade, a regularidade fracionária do termo de pressão $\pi$:
$$\pi \in B^{\varrho, \tilde{\phi}, \infty}_{loc}(\Omega)$$
onde $\varrho = \sigma / \max\{1, i'_\phi/2\}$. A regularidade de $\pi$ é expressa em termos de espaços de Besov de Orlicz.

C. Resultados Paralelos para Sistemas Elípticos

Os autores também apresentam resultados análogos para o sistema elíptico associado (sem o termo de pressão e sem a restrição de divergência nula), mostrando que a metodologia é robusta e aplicável a ambos os contextos.

D. Generalização de Resultados Existentes

O trabalho recupera e estende resultados conhecidos para o caso $p$-Laplaciano ($\phi(t) = t^p$):

• Inclui o caso $1 < p < 2$, que muitas vezes é mais difícil devido à degenerescência.
• Permite dependência não suave em $x$ para o operador $a$.
• Fornece limites ótimos para a integrabilidade de $f$ que garantem essa regularidade fracionária.

4. Significado e Impacto

• Avanço Teórico: Este trabalho preenche uma lacuna significativa na teoria de regularidade de sistemas de Stokes não-lineares. Enquanto a regularidade $C^{1,\alpha}$ é bem compreendida em dimensão 2, em dimensões superiores ($n \geq 3$) e para operadores gerais, a regularidade fracionária é muitas vezes o melhor resultado possível.
• Flexibilidade Funcional: Ao utilizar espaços de Orlicz, o artigo unifica o tratamento de uma vasta classe de não-linearidades (potências, logarítmicas, exponenciais), indo além do modelo clássico de potência.
• Aplicabilidade Física: Os resultados são diretamente aplicáveis à modelagem de fluidos não-newtonianos complexos, onde a relação entre tensão e deformação não é linear e pode variar drasticamente com a taxa de deformação.
• Inovação Técnica: A introdução de uma desigualdade de Poincaré-Sobolev modular em Orlicz e o tratamento rigoroso da regularidade da pressão em espaços de Besov de Orlicz constituem avanços metodológicos importantes para a análise de EDPs não-lineares.

Em resumo, o artigo estabelece um marco na compreensão da regularidade fina de soluções para sistemas de Stokes fortemente não-lineares, fornecendo condições precisas sob as quais as soluções possuem derivadas fracionárias, mesmo na presença de não-linearidades complexas e dados com regularidade limitada.