A rigidity result for the 3D capillary liquid drop with constant vorticity

Resumo Técnico: Rigidez para a Gota de Líquido Capilar 3D com Vorticidade Constante

Enunciado do Problema
Este artigo investiga o problema de contorno livre para as equações de Euler que governam o movimento de uma gota de líquido tridimensional com tensão superficial (capilaridade) $\sigma_0$ e um campo vetorial de vorticidade constante $\text{curl } u = \alpha_0 e_3$, onde $e_3 = (0,0,1)$. O sistema é descrito pelas equações de Euler incompressíveis com uma condição de contorno dinâmica onde a pressão é igual à tensão superficial vezes a curvatura média ($p = \sigma_0 H_{\partial \Omega_t}$). O foco principal é duplo: primeiro, analisar a compatibilidade da condição de vorticidade constante com a evolução temporal do sistema; e segundo, estabelecer um resultado de rigidez para soluções estacionárias (independentes do tempo), determinando especificamente a forma geométrica do domínio do fluido $\Omega$ sem assumir simetria a priori.

Metodologia
Os autores utilizam uma combinação de análise geométrica, dinâmica de fluidos e a teoria de problemas elípticos sobredeterminados.

1. Análise da Evolução Temporal: Os autores utilizam a equação da vorticidade e o princípio de reflexão de Alexandrov. Ao derivar que a vorticidade constante não nula implica que o campo de velocidade é independente da coordenada vertical $x_3$, eles deduzem fortes restrições geométricas sobre o domínio. Eles utilizam ainda um contraexemplo específico envolvendo uma bola unitária e uma rotação rígida para demonstrar a mal-definição (ill-posedness) no caso geral dependente do tempo.
2. Redução para o Estado Estacionário: Para soluções independentes do tempo, o problema reduz-se a um sistema envolvendo o campo de velocidade $u$ e o domínio $\Omega$. Os autores decompõem o campo de velocidade em uma parte irrotacional e uma parte rotacional. Ao explorar a simetria do domínio (provada via o princípio de Alexandrov) e as propriedades da função de torção $v_D$ (a solução de $\Delta v_D = -1$ na seção transversal equatorial $D$ com condições de contorno de Dirichlet nulas), eles reduzem o problema 3D a um problema sobredeterminado no conjunto plano 2D $D$.
3. Problema Sobredeterminado e Rigidez: O núcleo da prova envolve a derivação de uma condição de contorno específica em $\partial D$ para a função de torção $v_D$. Esta condição relaciona o gradiente da função de torção, a curvatura da fronteira $\partial D$ e constantes determinadas pelos parâmetros físicos. Os autores então aplicam o teorema de rigidez clássico de Serrin, que afirma que se a derivada normal da função de torção for uma função da curvatura média, o domínio deve ser uma bola. Para aplicar isso, eles estabelecem que o domínio $D$ deve ser um disco, limitando as constantes relevantes usando propriedades da função de torção em conjuntos convexos (especificamente utilizando $1/2$-concavidade e a fórmula de Reilly).

Principais Contribuições e Resultados

• Compatibilidade e Mal-definição (Teoremas 1.1 & 1.5): O artigo prova que para $\alpha_0 \neq 0$, qualquer solução suave com um domínio convexo deve possuir um plano horizontal de simetria, e o campo de velocidade deve ser independente de $x_3$. Crucialmente, os autores mostram que o conjunto de dados iniciais que satisfazem a condição de vorticidade constante não é um conjunto invariante para a evolução temporal. Eles fornecem um exemplo explícito (Teorema 1.5) onde uma solução começando com um domínio esférico e vorticidade constante desenvolve imediatamente vorticidade não constante, demonstrando que o problema de Cauchy para este sistema é geralmente mal-definido em 3D. Isso contrasta com o caso 2D e o caso irrotacional ($\alpha_0=0$), onde a vorticidade constante é preservada.
• Rigidez de Soluções Estacionárias (Teorema 1.7): O principal resultado estabelece que, para soluções independentes do tempo, se a razão $\alpha_0^2/\sigma_0$ for suficientemente pequena (especificamente satisfazendo a desigualdade 1.6), o domínio do fluido $\Omega$ deve possuir simetria cilíndrica.
  • O domínio $\Omega$ é mostrado como sendo um esferoide oblato (achatado nos polos, protuberante no equador), que é próximo, mas não igual, a uma bola.
  • O campo de velocidade é determinado unicamente como uma rotação rígida: $u = \frac{\alpha_0}{2}(-x_2, x_1, 0)$.
  • Este resultado é alcançado sem assumir simetria cilíndrica inicialmente; a simetria é uma consequência das equações e da condição de pequenez da razão vorticidade-tensão superficial.
• Caracterização Geométrica: O artigo conecta o problema da dinâmica de fluidos ao cálculo de variações. Ele mostra que, sob as condições derivadas, o domínio do fluido coincide com os pontos críticos de um funcional de forma envolvendo perímetro e um termo de energia rotacional, previamente estudado por Wente e Lopez.

Significância e Alegações
Os autores alegam que este é o primeiro resultado referente à gota de líquido capilar com vorticidade constante obtido sem assumir simetria cilíndrica. O trabalho destaca uma diferença fundamental entre fluxos irrotacionais e rotacionais: enquanto fluxos irrotacionais permitem uma ampla gama de formas de domínio, a vorticidade constante impõe severas restrições geométricas que restringem o domínio a configurações simétricas específicas (esferoides oblatos) para estados estacionários.

O artigo enfatiza que a condição de vorticidade constante atua como uma "forte restrição geométrica" que é geralmente incompatível com uma evolução temporal arbitrária, levando à mal-definição. No entanto, para estados estacionários, essa restrição força o domínio a ser uma superfície de revolução. A prova baseia-se na redução do problema de contorno livre 3D para um problema sobredeterminado para a função de torção de um conjunto plano 2D, conectando a dinâmica de fluidos com resultados clássicos de análise geométrica (teorema de Serrin).

Os autores observam que a suposição de convexidade estrita é uma simplificação técnica para as provas, mas não é estritamente necessária para que o resultado de rigidez se sustente, pois o domínio é mostrado como sendo estritamente convexo como consequência da regularidade da solução.