On $L^p$-semigroup to Stokes equation with dynamic slip boundary condition in the half-space

Resumo Técnico: Equações de Stokes com Condição de Deslizamento Dinâmica em $L^p$

1. O Problema Investigado

O artigo aborda o sistema de Stokes evolutivo em um domínio sem limitação (o semiespaço $d$-dimensional $\Omega = \{x_d > 0\}$), acoplado a uma condição de contorno de deslizamento dinâmica. O sistema é descrito pelas seguintes equações:

• No domínio $\Omega$:
  $$\partial_t u - \text{div}(2\nu Du) + \nabla \pi = f, \quad \text{div } u = 0$$
• Na fronteira $\Gamma = \{x_d = 0\}$:
  $$\beta \partial_t u + \alpha u + 2\nu [(Du)n]_\tau = \beta h, \quad u \cdot n = 0$$

Onde:

• $u$ é a velocidade, $\pi$ é a pressão, e $f, h$ são dados externos.
• $\alpha, \beta, \nu$ são parâmetros positivos.
• $[(Du)n]_\tau$ representa a componente tangencial da tensão de cisalhamento na fronteira.
• A condição $u \cdot n = 0$ impõe que não há fluxo através da fronteira, mas permite o deslizamento tangencial, governado pela equação diferencial temporal na fronteira (o termo $\beta \partial_t u$).

O objetivo principal é desenvolver uma teoria de regularidade ótima em $L^p$ para este sistema, indo além do caso clássico $L^2$ (Hilbertiano), que é mais bem compreendido devido à simetria do operador subjacente.

2. Metodologia

Os autores adotam uma abordagem que combina análise funcional clássica com transformadas integrais, evitando o uso de "máquinas" funcionais analíticas pesadas (como a teoria de $R$-limitação e cálculo $H^\infty$ explícito), embora os resultados sejam consistentes com essas teorias.

• Transformada de Fourier Parcial: Utilizam a transformada de Fourier nas direções tangenciais ($x' \in \mathbb{R}^{d-1}$) para reduzir o problema de EDPs a um sistema de EDOs no parâmetro normal $x_d$.
• Fórmula Explícita do Resolvente: Derivam uma fórmula explícita para o resolvente do problema estacionário associado (obtido substituindo $\partial_t$ por $\lambda$). Isso envolve a construção de uma solução fundamental $m_0$ que satisfaz as condições de contorno dinâmicas.
• Teorema do Multiplicador de Mikhlin: A prova das estimativas $L^p$ baseia-se na verificação das condições do Teorema de Mikhlin para os multiplicadores obtidos na transformada de Fourier. Isso permite estabelecer a limitação dos operadores integrais em espaços $L^p$.
• Decomposição do Problema: O problema é dividido em duas partes:
  1. Um problema de Dirichlet homogêneo no domínio (para tratar o termo fonte $f$).
  2. Um problema homogêneo no domínio com dados não nulos na fronteira (para tratar $h$).

3. Principais Contribuições e Resultados

O artigo estabelece dois teoremas principais e um corolário sobre a geração de semigrupos:

A. Existência e Estimativas de Regularidade Fraca (Teorema 2.1)

• Estabelece a existência de uma solução fraca única $u \in W^{1,p}_{\sigma,n}(\Omega)$ para dados $f \in L^p$ e $h \in L^p$.
• Fornece uma estimativa de resolvente ótima:
  $$\|u\|_{L^p(\Omega)} + \|u\|_{L^p(\Gamma)} \leq \frac{C_0}{|\lambda|} (\|f\|_{L^p(\Omega)} + \|h\|_{L^p(\Gamma)})$$
  Esta estimativa é crucial para a geração de semigrupos analíticos.

B. Regularidade Forte e Estimativas Ótimas (Teorema 2.2)

• Dados em Espaços Negativos/Fracos: Para $f \in W^{-1,p}$ e $h$ em espaços de Besov negativos apropriados, obtém-se estimativas em $W^{1,p}$.
• Regularidade $W^{2,p}$: Para dados mais regulares ($f \in L^p$, $h \in B^{1-1/p,p}_p$), a solução é forte ($u \in W^{2,p}$) e o gradiente da pressão $\nabla \pi$ pertence a $L^p$.
• Generalização para Divergência Não Nula: Um ponto crucial é que os autores permitem $\text{div } u = g \neq 0$, preparando o terreno para extensões a domínios gerais onde a condição de incompressibilidade estrita pode ser relaxada ou tratada via correção.

C. Geração de Semigrupo Analítico (Corolário 2.1)

• O sistema gera um semigrupo analítico no espaço de produto $L^p_\sigma(\Omega) \times L^p_n(\Gamma)$.
• O domínio do gerador é identificado em termos de espaços de Besov: $D(A) \subset B^{1+1/p-\epsilon, p}_{p; \sigma,n}(\Omega)$.

4. Significado e Impacto

• Preenchimento de Lacunas na Literatura: Até o momento, a teoria $L^p$ para condições de contorno dinâmicas no sistema de Stokes (especialmente em domínios não limitados como o semiespaço) era inexistente ou limitada a casos $L^2$. Este trabalho preenche essa lacuna.
• Abordagem Elementar: A metodologia é destacada por ser "elementar" no sentido de depender apenas do Teorema de Mikhlin clássico, tornando os resultados mais acessíveis e evitando a complexidade técnica do cálculo $H^\infty$ e da $R$-limitação, embora os resultados sejam equivalentes em força.
• Aplicações Futuras:
  • As estimativas de regularidade ótima para o problema estacionário são fundamentais para aplicar argumentos de "bootstrap" em problemas não lineares evolutivos (como Navier-Stokes).
  • A capacidade de lidar com divergência não nula facilita a extensão desses resultados para domínios gerais (limitados ou não) através de argumentos de localização e perturbação.
  • A existência do semigrupo analítico garante a suavidade temporal das soluções, essencial para o estudo de atratores globais e estabilidade.

Em resumo, o artigo fornece a base analítica rigorosa necessária para estudar a dinâmica de fluidos viscosos sob condições de deslizamento dinâmico em espaços $L^p$, estabelecendo a regularidade ótima e a estrutura semigrupal do sistema.