Well-posedness for the mean curvature flow on the half-space and on bounded domains

Resumo Técnico: Bem-postura para o Fluxo de Curvatura Média no Semiespaço e em Domínios Limitados

Formulação do Problema
Este artigo investiga o fluxo de curvatura média (MCF) gráfico em codimensão arbitrária sobre dois tipos de domínios: o semiespaço $\mathbb{R}^d_+$ e domínios limitados suaves $\Omega \subset \mathbb{R}^d$. A evolução é governada pelo sistema parabólico quasilinear:
$$\partial_t f = A[\nabla f] : \nabla^2 f$$
sujeito a condições de contorno de Dirichlet homogêneas ($f=0$ em $\partial \Omega$) e dados iniciais $f_0$. A matriz de coeficientes $A[\nabla f]$ depende da inclinação do gráfico, garantindo parabolicidade uniforme desde que $\|\nabla f\|_{L^\infty}$ seja limitado.

O principal desafio abordado é a bem-postura deste sistema no nível de regularidade crítico de escala, especificamente para dados iniciais no espaço Lipschitz $W^{1,\infty}$. Embora a regularidade no interior para tais dados esteja estabelecida no espaço total, a presença de uma fronteira introduz dificuldades significativas: a propagação das condições de contorno, a recuperação da regularidade normal a partir de estimativas tangenciais e a geração de coeficientes variáveis e termos de comutador ao suavizar fronteiras curvas. Os autores observam que, para codimensões mais altas, a regularidade Lipschitz sozinha não implica suavidade para soluções estacionárias (referenciando Lawson-Osserman), tornando cruciais as propriedades de suavização dinâmica do fluxo e as condições específicas de compatibilidade de contorno.

Metodologia e Estrutura Analítica
A análise é conduzida dentro de um arcabouço perturbativo com pesos temporais. Os autores adaptam o método de "congelamento de coeficientes" desenvolvido em seu trabalho anterior (Parte I [7]) para lidar com fronteiras fixas. A estratégia central envolve:

1. Perturbação em torno de um Perfil Suave: Para existência local, a equação é vista como uma perturbação de um operador linear com coeficientes congelados em um perfil de referência suave $\phi$ (compatível com a fronteira). Para existência global de dados pequenos, o perfil é tomado como zero.
2. Estimativas de Schauder com Pesos Temporais: Os autores utilizam normas com pesos temporais para controlar o comportamento singular das derivadas superiores perto de $t=0$. Os pesos são escolhidos para serem invariantes sob a escala parabólica $f(t, x) \mapsto \lambda^{-1}f(\lambda^2 t, \lambda x)$, preservando a natureza crítica da seminorma Lipschitz.
3. Técnicas Específicas de Fronteira:
   • Semiespaço: Os autores empregam extensões de paridade. Um insight fundamental é que, para o sistema gráfico, identidades de fronteira de ordem superior específicas (ex: $\Delta^k f = 0$ na fronteira) ocorrem para tempos positivos. Isso permite que os termos de força críticos sejam estendidos de forma ímpar através da fronteira, possibilitando o uso de estimativas de núcleo de calor no espaço total sem perda de derivadas.
   • Domínios Limitados: O domínio é localizado em patches de interior e de fronteira. Os patches de fronteira são suavizados via transformações de coordenadas, reduzindo o problema a um sistema de semiespaço com coeficientes variáveis e força de ordem inferior. Crucialmente, os autores desenvolvem uma teoria de Schauder anisotrópica para esses sistemas suavizados. Diferente do caso de fronteira plana, as derivadas normais não desaparecem identicamente em fronteiras curvas. Em vez disso, as derivadas normais de ordem mais alta são recuperadas recursivamente usando identidades de fronteira que as expressam em termos de derivadas tangenciais e dos termos de força (Lema 5.4). Isso resulta em uma perda de uma derivada normal na contagem de regularidade em comparação ao caso plano.
4. Controle Global: Em domínios limitados, a existência global para dados pequenos é alcançada combinando as estimativas de Schauder locais com desigualdades de energia $L^2$. A condição de Dirichlet homogênea e a elipticidade uniforme produzem o decaimento exponencial da norma $L^2$, que, via interpolação, controla as normas de ordem inferior que aparecem nas estimativas localizadas, impedindo a inflação de norma.

Principais Resultados

• Teorema 1.1 (Semiespaço): Os autores provam a bem-postura local para gráficos iniciais $f_0 \in W^{1,\infty}(\mathbb{R}^d_+)$ que podem ser aproximados em norma $W^{1,\infty}$ por funções suaves que satisfazem a condição de contorno. A solução existe unicamente em uma classe definida por normas de Hölder com peso temporal. Se a seminorma Lipschitz inicial $\|\nabla f_0\|_{L^\infty}$ for suficientemente pequena, a solução é global. Além disso, a solução satisfaz identidades de fronteira específicas $\Delta^k f|_{\partial \mathbb{R}^d_+} = 0$ para $k=1, \dots, m$.
• Teorema 1.2 (Domínios Limitados): Para um domínio limitado com fronteira $C^{2m+3}$, a bem-postura local é estabelecida sob a suposição de que os dados iniciais $f_0$ podem ser aproximados em $W^{1,\infty}$ pelo semigrupo de calor de Dirichlet aplicado a si mesmo (ou seja, $e^{\epsilon \Delta_\Omega} f_0 \to f_0$ em $W^{1,\infty}$). Esta é uma restrição não trivial para dados Lipschitz gerais. Dentro desta classe, dados iniciais pequenos levam a uma solução global que decai exponencialmente para o gráfico plano. A solução satisfaz estimativas anisotrópicas onde o número de derivadas normais puras é restrito a $2m+1$ (uma a menos que a ordem parabólica total $2m+2$).

Significância e Alegações
O artigo afirma fornecer a primeira teoria de bem-postura crítica com pesos temporais para o fluxo de curvatura média gráfico até uma fronteira fixa em codimensão arbitrária. Ele estende o arcabouço de "dados brutos" de Koch e Lamm (originalmente para o espaço total) para o cenário de fronteira.

Os autores enfatizam que sua abordagem evita a imposição de condições de compatibilidade clássicas de ordem alta para os dados iniciais em $t=0$. Em vez disso, a "regularização de tempo positivo" é quantificada por estimativas com pesos temporais, onde as quantidades ponderadas permanecem limitadas quando $t \downarrow 0$. O trabalho destaca as diferenças estruturais entre fronteiras planas e curvas: enquanto fronteiras planas permitem o desaparecimento exato de Laplacianos de ordem superior, fronteiras curvas exigem uma recuperação mais delicada e recursiva das derivadas normais, levando a estimativas de regularidade anisotrópicas.

Este trabalho é apresentado como a terceira parte de uma série, construindo-se sobre métodos de congelamento de coeficientes baseados em núcleos (Parte I) e estimativas de transmissão elíptica para o problema de Muskat (Parte II). Os resultados são estritamente analíticos, focando na existência, unicidade e regularidade de soluções para o sistema parabólico quasilinear, sem propor novas aplicações experimentais ou modelos físicos futuros.