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

Resumen Técnico: Rigidez para la gota de líquido capilar 3D con vorticidad constante

Planteamiento del problema
Este artículo investiga el problema de frontera libre para las ecuaciones de Euler que gobiernan el movimiento de una gota de líquido tridimensional con tensión superficial (capilaridad) $\sigma_0$ y un campo de vector de vorticidad constante $\text{curl } u = \alpha_0 e_3$, donde $e_3 = (0,0,1)$. El sistema se describe mediante las ecuaciones de Euler incompresibles con una condición de frontera dinámica donde la presión es igual a la tensión superficial multiplicada por la curvatura media ($p = \sigma_0 H_{\partial \Omega_t}$). El enfoque principal es doble: primero, analizar la compatibilidad de la condición de vorticidad constante con la evolución temporal del sistema; y segundo, establecer un resultado de rigidez para soluciones independientes del tiempo (estacionarias), determinando específicamente la forma geométrica del dominio del fluido $\Omega$ sin asumir simetría a priori.

Metodología
Los autores emplean una combinación de análisis geométrico, dinámica de fluidos y la teoría de problemas elípticos sobredeterminados.

1. Análisis de la evolución temporal: Los autores utilizan la ecuación de la vorticidad y el principio de reflexión de Alexandrov. Al derivar que una vorticidad constante no nula implica que el campo de velocidades es independiente de la coordenada vertical $x_3$, deducen fuertes restricciones geométricas sobre el dominio. Además, emplean un contraejemplo específico que involucra una bola unitaria y una rotación rígida para demostrar la maldad de la formulación (ill-posedness) en el caso general dependiente del tiempo.
2. Reducción al estado estacionario: Para las soluciones independientes del tiempo, el problema se reduce a un sistema que involucra el campo de velocidades $u$ y el dominio $\Omega$. Los autores descomponen el campo de velocidades en una parte irrotacional y una parte rotacional. Al explotar la simetría del dominio (probada mediante el principio de Alexandrov) y las propiedades de la función de torsión $v_D$ (la solución de $\Delta v_D = -1$ en la sección transversal ecuatorial $D$ con condiciones de contorno de Dirichlet cero), reducen el problema 3D a un problema sobredeterminado en el conjunto plano 2D $D$.
3. Problema sobredeterminado y rigidez: El núcleo de la prueba consiste en derivar una condición de frontera específica en $\partial D$ para la función de torsión $v_D$. Esta condición relaciona la derivada normal de la función de torsión, la curvatura de la frontera $\partial D$ y constantes determinadas por los parámetros físicos. Los autores aplican entonces el teorema de rigidez clásico de Serrin, que establece que si la derivada normal de la función de torsión es una función de la curvatura media, el dominio debe ser una bola. Para aplicar esto, establecen que el dominio $D$ debe ser un disco acotando las constantes relevantes utilizando las propiedades de la función de torsión en conjuntos convexos (específicamente utilizando la $1/2$-concavidad y la fórmula de Reilly).

Contribuciones clave y resultados

• Compatibilidad y maldad de la formulación (Teoremas 1.1 y 1.5): El artículo demuestra que para $\alpha_0 \neq 0$, cualquier solución suave con un dominio convexo debe poseer un plano horizontal de simetría, y el campo de velocidades debe ser independiente de $x_3$. Crucialmente, los autores muestran que el conjunto de datos iniciales que satisfacen la condición de vorticidad constante no es un conjunto invariante para la evolución temporal. Proporcionan un ejemplo explícito (Teorema 1.5) donde una solución que comienza con un dominio esférico y vorticidad constante desarrolla inmediatamente una vorticidad no constante, demostando que el problema de Cauchy para este sistema es generalmente mal planteado en 3D. Esto contrasta con el caso 2D y el caso irrotacional ($\alpha_0=0$), donde la vorticidad constante se preserva.
• Rigidez de las soluciones estacionarias (Teorema 1.7): El resultado principal establece que, para soluciones independientes del tiempo, si la relación $\alpha_0^2/\sigma_0$ es suficientemente pequeña (específicamente satisfaciendo la desigualdad 1.6), el dominio del fluido $\Omega$ debe poseer simetría cilíndrica.
  • El dominio $\Omega$ es un esferoide oblato (achatado en los polos, ensanchado en el ecuador), el cual es cercano a una bola pero no igual a ella.
  • El campo de velocidades está determinado de forma única como una rotación rígida: $u = \frac{\alpha_0}{2}(-x_2, x_1, 0)$.
  • Este resultado se logra sin asumir simetría cilíndrica desde el principio; la simetría es una consecuencia de las ecuaciones y de la condición de pequeñez de la relación vorticidad-tensión superficial.
• Caracterización geométrica: El artículo conecta el problema de la dinámica de fluidos con el cálculo de variaciones. Muestra que, bajo las condiciones derivadas, el dominio del fluido coincide con los puntos críticos de un funcional de forma que involucra el perímetro y un término de energía rotacional, estudiado previamente por Wente y López.

Significancia y afirmaciones
Los autores afirman que este es el primer resultado respecto a la gota de líquido capilar con vorticidad constante obtenido sin asumir simetría cilíndrica. El trabajo destaca una diferencia fundamental entre flujos irrotacionales y rotacionales: mientras que los flujos irrotacionales permiten una amplia gama de formas de dominio, la vorticidad constante impone severas restricciones geométricas que restringen el dominio a configuraciones simétricas específicas (esferoides oblatos) para los estados estacionarios.

El artículo enfatiza que la condición de vorticidad constante actúa como una "fuerte restricción geométrica" que es generalmente incompatible con una evolución temporal arbitraria, lo que conduce a la maldad de la formulación. Sin embargo, para los estados estacionarios, esta restricción fuerza al dominio a ser una superficie de revolución. La prueba se basa en reducir el problema de frontera libre 3D a un problema sobredeterminado para la función de torsión de un conjunto plano 2D, uniendo la dinámica de fluidos con los resultados clásicos de análisis geométrico (teorema de Serrin).

Los autores señalan que la suposición de convexidad estricta es una simplificación técnica para las pruebas, pero no es estrictamente necesaria para que el resultado de rigidez se mantenga, ya que se demuestra que el dominio es estrictamente convexo como consecuencia de la regularidad de la solución.