Support growth of vorticity for bi-rotational Euler flows in high dimensions

Resumen Técnico: Soporte del Crecimiento de la Vorticidad para Flujos de Euler Bi-rotacionales en Altas Dimensiones

Planteamiento del Problema
Este artículo investiga las ecuaciones de Euler incomprimibles en altas dimensiones ($d \ge 4$) bajo una restricción de simetría específica conocida como simetría bi-rotacional sin rotación (swirl). Los autores consideran soluciones donde el campo de velocidad es invariante bajo rotaciones que fijan cualquiera de los primeros $n+1$ de las últimas $m+1$ coordenadas (donde $d = n + m + 2$), y el vector de velocidad se encuentra enteramente dentro del subespacio generado por los vectores unitarios radiales de estos dos subespacios.

El objetivo principal es analizar el comportamiento a largo plazo del soporte de la vorticidad para datos iniciales de tipo "parche" (patch-type). Específicamente, los autores buscan determinar si el diámetro del soporte de la vorticidad permanece acotado o crece indefinidamente con el tiempo. Si bien la existencia y unicidad global (well-posedness) se conoce para ciertas clases de datos en $d=4$, el comportamiento para $d \ge 5$ y la dinámica específica de las soluciones de parche en dimensiones superiores siguen siendo menos comprendidos.

Metodología y Formulación Matemática
El estudio reduce el sistema completo de Euler en $d$ dimensiones a una ecuación de advección escalar aprovechando la simetría bi-rotacional.

1. Reducción de Coordenadas: Utilizando coordenadas bi-polares $(r, s)$, donde $r$ y $s$ representan los radios en los dos subespacios ortogonales, el campo de velocidad se expresa como $v = u_r e_r + u_s e_s$.
2. Vorticidad Escalar: El tensor de vorticidad $\omega$ se reduce a una función escalar $w(r, s)$ (salvo por un factor geométrico). Las ecuaciones de Euler se transforman en una ecuación de transporte para la cantidad $w/(r^n s^m)$:
   $$\partial_t \left( \frac{w}{r^n s^m} \right) + (u_r \partial_r + u_s \partial_s) \left( \frac{w}{r^n s^m} \right) = 0$$
   Los componentes de la velocidad $(u_r, u_s)$ se recuperan de $w$ mediante una función de corriente $\psi$ que satisface una ecuación de operador elíptico específica involucrando el Laplaciano en un espacio de mayor dimensión ($\mathbb{R}^{n+3} \times \mathbb{R}^{m+3}$).
3. Soluciones de Parche: Los autores se centran en datos iniciales donde $w/(r^n s^m)$ es la función indicadora de un conjunto abierto acotado $\Omega_0$ separado de los ejes ($r=0, s=0$). La evolución del soporte $\Omega_t$ está gobernada por el mapa de flujo generado por el campo de velocidad.

Contribuciones Clave y Resultados

• Existencia Local (Teorema 1.1): El artículo establece la existencia y unicidad local en el tiempo de soluciones para datos iniciales de tipo parche. La solución mantiene la estructura de parche $w(t) = r^n s^m \mathbf{1}_{\Omega_t}$ siempre que el soporte permanezca acotado. Se deriva un criterio de explosión (blow-up): la solución existe globalmente si y solo si el diámetro del soporte $L(t) = R(t) + S(t)$ permanece finito.
• Crecimiento Infinito del Soporte (Teorema 1.2): El resultado central demuestra que para cualquier dato inicial de tipo parche que satisfaga la condición de separación, el diámetro del soporte $L(t)$ crece sin límite a lo largo de una secuencia de momentos temporales. Específicamente:
  $$\sup_{t \in [0, T_{\max})} L(t) = +\infty$$
  Esto ocurre incluso si el tiempo de existencia máxima $T_{\max}$ es infinito (es decir, no ocurre una explosión de la norma de la solución en tiempo finito).
• Mecanismo de Crecimiento: La prueba se basa en un argumento de contradicción que involucra impulsos (momentos ponderados) de la vorticidad. Los autores definen el impulso-$r$ $P^r(t)$ y el impulso-$s$ $P^s(t)$. Demuestran que $P^r(t)$ es no decreciente y su derivada temporal es estrictamente positiva, impulsada por la componente de velocidad $u_s$ cerca del eje $s=0$. Al estimar la cota inferior del núcleo de velocidad (específicamente $\partial_s \psi$ en $s=0$) y utilizar la conservación de la masa y la naturaleza no creciente de $P^s(t)$, prueban que asumir un soporte acotado conduce a una contradicción con el crecimiento de $P^r(t)$.

Significancia y Reivindicaciones
Los autores posicionan este trabajo como el primer resultado que demuestra el crecimiento infinito del soporte para soluciones de Euler bi-rotacionales.

• Contraste con Flujos Axisimétricos: Mientras que trabajos recientes sobre flujos axisimétricos en altas dimensiones (invariantes bajo rotación alrededor de un único eje) han proporcionado cotas inferiores cuantitativas sobre el crecimiento del soporte, el caso bi-rotacional presenta dificultades distintas. El núcleo de velocidad en el entorno bi-rotacional no puede representarse mediante las integrales elípticas disponibles en el caso axisimétrico, lo que requiere un enfoque analítico diferente.
• Limitaciones: El artículo señala explícitamente que la prueba de crecimiento infinito es no constructiva (basada en la contradicción) y no proporciona información detallada sobre la forma, el perímetro o la curvatura del parche conforme $t \to \infty$. Además, los autores afirman que no pudieron probar que la norma $L^\infty$ de la vorticidad $\|w(t)\|_{L^\infty}$ diverja cuando $t \to \infty$, ya que el factor geométrico $r^n s^m$ podría potencialmente decaer a lo largo de las trayectorias de flujo incluso si el soporte crece.
• Contexto: El estudio conecta con las "ecuaciones de lago" (lake equations) con profundidad $d(r,s) = r^n s^m$ y los movimientos de vórtices puntuales estudiados en literatura previa (Khesin–Yang, Yang), extendiendo el análisis desde vórtices puntuales hacia parches de tamaño finito.

En resumen, el artículo demuestra rigurosamente que, para flujos de Euler bi-rotacionales en dimensiones $d \ge 4$, las vorticidades de tipo parche no pueden permanecer confinadas en una región acotada indefinidamente, estableciendo una propiedad dinámica fundamental de estos sistemas de fluidos en altas dimensiones.