Existence of curvature flow with forcing in a critical Sobolev space

Resumo Técnico: Existência de Fluxo de Curvatura com Forçamento em um Espaço de Sobolev Crítico

Enunciado do Problema
O artigo aborda a existência global no tempo de um fluxo de curvas $\Gamma(t) \subset \mathbb{R}^2$ que evolui de acordo com a lei de movimento:
$$v(x, t) = h(x, t) + u(x, t)^\perp$$
onde $v$ é a velocidade normal, $h$ é o vetor de curvatura média, e $u^\perp$ é a projeção de um dado campo vetorial $u$ no espaço normal da curva. O dado inicial $\Gamma_0$ é um conjunto 1-retificável fechado de medida de Hausdorff 1-dimensional finita.

O desafio central reside na regularidade do termo de forçamento $u$. Os autores consideram o caso em que $u$ pertence a um espaço de Sobolev "dimensionalmente crítico":
$$u \in L^\infty_{\text{loc}}([0, \infty); L^2(\mathbb{R}^2)) \cap L^2_{\text{loc}}([0, \infty); W^{1,2}(\mathbb{R}^2)).$$
Isso corresponde ao caso de invariância por escala, onde o efeito do termo de forçamento é analiticamente comparável ao termo de curvatura sob escala parabólica. Isso contrasta com casos "subcríticos" (onde $u$ possui maior regularidade ou diferentes expoentes de integrabilidade), nos quais o forçamento é uma perturbação negligenciável em pequenas escalas, e casos "supercríticos" (onde o forçamento é excessivamente turbulento para que as teorias de existência padrão se apliquem). O artigo trata especificamente de $n=1$ (curvas em $\mathbb{R}^2$), motivado por problemas de fluxo de duas fases acoplados (limites Navier-Stokes/Allen-Cahn) onde a interface se move segundo esta lei.

Metodologia
A prova emprega uma abordagem variacional utilizando a formulação de Brakke para o fluxo de curvatura média via varifolhas integrais. A metodologia procede através das seguintes etapas:

1. Aproximação: O campo vetorial rugoso $u$ é aproximado por uma sequência de campos vetoriais suaves de suporte compacto $u^{(m)}$ via suavização (mollification).
2. Existência para Forçamento Suave: Utilizando resultados modificados de trabalhos anteriores (especificamente [9, 10, 19]), os autores estabelecem a existência de fluxos aproximados $\{V_t^{(m)}\}$ para os termos de forçamento suaves $u^{(m)}$. Esses fluxos aproximados satisfazem a lei de movimento no sentido de Brakke e mantêm propriedades estruturais específicas (por exemplo, junções triplas com ângulos de 120 graus).
3. Estimativas A Priori (A Inovação Central): Os autores derivam estimativas uniformes para os fluxos aproximados que dependem apenas do comprimento inicial $H^1(\Gamma_0)$ e da norma de $u$ definida por $c_1(u, T)$.
   • Ao contrário do caso subcrítico, onde a fórmula de monotonicidade de Huisken fornece um limite uniforme $L^\infty$ sobre a razão de densidade superior $D(t)$, o caso crítico impede tal limite porque o termo de forçamento $u$ não pode ser controlado na computação da fórmula de monotonicidade.
   • Em vez disso, os autores utilizam uma fórmula de monotonicidade específica para varifolhas de uma dimensão (Proposição 3.1) para limitar a razão de densidade $D(t)$ pelo $L^2$ da curvatura: $D(t) \lesssim \int |h| d\|V_t\|$.
   • Eles então aplicam a desigualdade de Meyers-Ziemer (Teorema 3.2), que relaciona a integral de uma função de Sobolev sobre um conjunto retificável com seu gradiente no espaço ambiente, desde que a razão de densidade seja limitada.
   • Ao combinar estes, eles fecham as estimativas de energia para obter limites no comprimento da curva e nas normas $L^2$ da curvatura e do termo de forçamento sobre a curva, levando ao limite exponencial do comprimento total (Equação 1.6).
4. Compacidade e Processo de Limite: Utilizando as estimativas uniformes, os autores extraem uma subsequência de varifolhas convergindo para uma varifolha limite $\{V_t\}$. Eles provam que o limite satisfaz a desigualdade de Brakke com o campo vetorial rugoso original $u$.
5. Estrutura do Limite: Os autores analisam a estrutura geométrica do fluxo limite, provando que ele consiste em um número finito de curvas $W^{2,2}$ que se encontram em junções com ângulos de 0, 60 ou 120 graus.

Principais Resultados
O teorema principal (Teorema 2.3) estabelece a existência de uma família de varifolhas integrais 1 $\{V_t\}_{t \geq 0}$ e uma família de conjuntos de perímetro finito $\{E_i(t)\}$ satisfazendo:

• Condição Inicial: $\|V_0\| = H^1 \lfloor \Gamma_0$.
• Lei de Movimento: O fluxo satisfaz a desigualdade de Brakke com velocidade normal $h + u^\perp$ (Equação 2.14).
• Regularidade: Para quase todo $t$, o suporte de $V_t$ consiste em um número finito de curvas $W^{2,2}$ imersas. Se $N=2$ (duas fases), estas são loops fechados; se $N \geq 3$, elas formam uma rede com junções triplas em ângulos de 120 graus.
• Limites Globais: A medida de Hausdorff 1-dimensional (comprimento) do fluxo satisfaz:
  $$H^1(\Gamma(T)) \leq H^1(\Gamma_0) \exp(c_2 c_1(u, T))$$
  onde $c_1(u, T)$ envolve a norma $L^2$ de $u$ e a norma $L^2$ de $\nabla u$.
• Evolução de Fase: Os conjuntos $E_i(t)$ evoluem continuamente no sentido $L^1$ (Hölder contínuos no tempo), e suas fronteiras reduzidas são controladas pela medida da varifolha.

Significância e Alegações
O artigo afirma fornecer o primeiro resultado de existência global para o fluxo de curvatura com um termo de forçamento na escala de Sobolev crítica para $n=1$.

• Crítico vs. Subcrítico: Os autores enfatizam que o caso crítico é distinto do caso subcrítico (onde $u$ é mais regular). No caso subcrítico, a fórmula de monotonicidade de Huisken permite o controle uniforme da razão de densidade, garantindo que o fluxo se comporte como uma perturbação do fluxo de curvatura média padrão. No caso crítico, esse controle é perdido; o efeito do termo de forçamento é comparável à curvatura em todas as escalas.
• Necessidade Técnica da Dimensão 1: A estratégia depende fortemente da fórmula de monotonicidade específica para varifolhas de uma dimensão (Equação 1.13) que limita a razão de densidade pelo $L^2$ da curvatura. Os autores observam nas "Observações Finais" que esta estratégia não parece generalizar-se para $n > 1$ no caso crítico, pois o limite correspondente da razão de densidade não está disponível.
• Não-Trivialidade: A solução é garantida como não-trivial para um intervalo de tempo positivo e pode passar por singularidades (como colisões de curvas ou formação de junções) enquanto mantém a medida de superfície finita.
• Motivação: O trabalho é motivado pelo estudo teórico de problemas de fluxo de duas fases acoplados (limites Navier-Stokes/Allen-Cahn) onde o movimento da interface é impulsionado tanto pela curvatura quanto pela velocidade do fluido, um cenário onde o campo de velocidade reside naturalmente no espaço crítico considerado aqui.

Os autores permanecem modestos quanto ao caso "supercrítico", afirmando que nenhum teorema de existência geral é conhecido e sugerindo que soluções deste tipo provavelmente não existem devido ao campo de forçamento ser excessivamente turbulento para manter uma medida de superfície finita.