A domain hemivariational inequality for 2D and 3D convective Brinkman-Forchheimer extended Darcy equations

Aquí presento un resumen técnico detallado del artículo en español, estructurado según los puntos solicitados:

Resumen Técnico: Desigualdad Hemivariacional de Dominio para Ecuaciones CBFeD 2D y 3D

1. Planteamiento del Problema
El artículo investiga la existencia y unicidad de soluciones débiles para un sistema de ecuaciones diferenciales parciales no lineales que modelan el flujo de fluidos viscosos incompresibles a través de medios porosos saturados. Específicamente, se estudian las Ecuaciones de Brinkman-Forchheimer Extendidas Convectivas (CBFeD) en dominios acotados de dimensiones 2 y 3, sujetas a una desigualdad hemivariacional de dominio.

El modelo matemático (Sistema 1.1) se expresa como:
$$\begin{cases} \frac{\partial y}{\partial t} - \mu \Delta y + (y \cdot \nabla)y + \alpha|y|^{q-1}y + \beta|y|^{r-1}y + \nabla \pi = f + g, & \text{en } D \times (0, T), \\ \nabla \cdot y = 0, & \text{en } D \times [0, T), \\ y = 0 \text{ en } \partial D, \quad y(0) = y_0, \end{cases}$$
donde:

• $y$ es el campo de velocidad y $\pi$ la presión.
• $\mu > 0$ es el coeficiente de viscosidad efectiva (Brinkman).
• $\beta > 0$ es el coeficiente de Forchheimer (término de amortiguamiento/absorción).
• $\alpha < 0$ representa un mecanismo de bombeo (término no lineal de potencia $q$).
• $r \geq 1$ es el exponente de absorción (donde $r=3$ es el caso crítico).
• La novedad clave: El término de fuerza $g$ no es una función suave, sino que satisface una inclusión en el subdiferencial de Clarke de un superpotencial no convexo y no suave: $-g(x,t) \in \partial_C j(x,t,y(x,t))$. Esto convierte al problema en una desigualdad hemivariacional de dominio, donde la no suavidad afecta a todo el volumen del dominio, no solo a la frontera.

2. Metodología
Los autores emplean un enfoque analítico riguroso basado en el método de Galerkin combinado con una técnica de regularización del subdiferencial de Clarke.

• Formulación Variacional: Se define un espacio funcional adecuado ($W$) que incluye espacios de Sobolev y Lebesgue ($L^2(0,T; V)$, $L^{r+1}(0,T; \tilde{L}^{r+1})$) para manejar la regularidad de las soluciones.
• Regularización: Dado que el subdiferencial de Clarke $\partial_C j$ es multivaluado y no suave, se introduce una aproximación mediante funciones regulares $\theta_{i,\varepsilon}$ (mediante convolución con un mollificador) que aproximan el comportamiento del subdiferencial. Esto permite transformar el problema original en una familia de problemas de dimensión finita bien planteados.
• Aproximación de Galerkin: Se construyen soluciones aproximadas $y_n$ en subespacios de dimensión finita generados por las funciones propias del operador de Stokes.
• Estimaciones a priori: Se derivan estimaciones de energía uniformes para la secuencia aproximada. Un desafío técnico importante superado en este trabajo es obtener estas estimaciones sin imponer restricciones adicionales sobre el parámetro de viscosidad $\mu$, a diferencia de trabajos previos que requerían condiciones estrictas en $\mu$. Se utiliza el Lema 3.6 para controlar los términos no lineales provenientes de la regularización.
• Convergencia: Se aplican teoremas de compacidad (Banach-Alaoglu, Aubin-Lions) para extraer subsucesiones que convergen débilmente y fuertemente, permitiendo pasar al límite cuando $n \to \infty$ y $\varepsilon \to 0$.
• Identificación del Límite: Se demuestra que el límite de la secuencia regularizada satisface la desigualdad hemivariacional original, identificando correctamente el término no lineal con el subdiferencial de Clarke.

3. Contribuciones Clave y Novedades

• Eliminación de restricciones en la viscosidad: A diferencia de estudios anteriores (como [10]) que requerían condiciones estrictas sobre $\mu$ (ej. $\mu > \sqrt{2}c_0 \max\{\sqrt{|D|}, 1\}\|l\|_2$), este trabajo establece la existencia de soluciones débiles sin ninguna restricción adicional sobre el coeficiente de viscosidad $\mu$.
• Validación de la igualdad de energía en 3D: Se demuestra que las soluciones débiles satisfacen la igualdad de energía (no solo la desigualdad) para $r \geq 1$ en 2D y $r \geq 3$ en 3D. Esto es significativo porque, para las ecuaciones de Navier-Stokes 3D clásicas, la igualdad de energía es un problema abierto; aquí se logra gracias a los términos de amortiguamiento y bombeo.
• Unicidad de soluciones: Se prueba la unicidad de las soluciones débiles bajo condiciones específicas:
  • $r \geq 1$ en 2D.
  • $r \geq 3$ en 3D.
  • En el caso crítico $r=3$ en 3D, se requiere la condición adicional $2\beta\mu > 1$.
  • La unicidad se logra sin las restricciones de viscosidad presentes en la literatura previa.
• Generalización a Navier-Stokes: Los resultados de existencia se extienden a las ecuaciones de Navier-Stokes no estacionarias en 3D como un caso particular (cuando los términos de amortiguamiento y bombeo se anulan o se ajustan adecuadamente).

4. Resultados Principales

• Teorema 3.7 (Existencia): Bajo hipótesis de acotamiento local, continuidad y crecimiento para la función no suave $\theta_i$, y para cualquier $f \in L^2(0,T; V')$ y dato inicial $y_0 \in H$, existe al menos una solución débil al problema de desigualdad hemivariacional.
• Proposición 3.8 (Igualdad de Energía): Las soluciones débiles satisfacen la ley de conservación de energía para los rangos de exponentes mencionados ($r \geq 1$ en 2D, $r \geq 3$ en 3D).
• Teorema 3.10 (Unicidad): Bajo una condición de "monotonía eventual" (o condición de Lipschitz inferior) sobre la función no suave, la solución es única en los regímenes espaciales y de exponentes especificados.

5. Significado e Impacto
Este trabajo llena un vacío teórico significativo en el análisis de flujos en medios porosos con condiciones de frontera y dominio no suaves.

• Avance Matemático: Proporciona un marco robusto para tratar problemas de desigualdades hemivariacionales de dominio (donde la no suavidad es volumétrica) en sistemas de fluidos complejos, superando las limitaciones de los métodos de Rothe o técnicas de punto fijo anteriores.
• Aplicabilidad Física: El modelo es crucial para entender flujos a altas velocidades en medios porosos (donde la ley de Darcy falla) que involucran interacciones no suaves, como fricción compleja, contacto adhesivo o controles hidráulicos no lineales.
• Herramientas Analíticas: La técnica desarrollada para manejar el subdiferencial de Clarke sin restringir la viscosidad abre la puerta a futuros estudios sobre control óptimo, estabilidad y comportamiento asintótico de estos sistemas en 3D.

En resumen, el artículo establece una teoría de bien-postura (existencia, unicidad y regularidad de energía) para un modelo de fluidos generalizado y no suave, demostrando que los mecanismos de amortiguamiento y bombeo permiten superar las dificultades analíticas inherentes a las ecuaciones de Navier-Stokes en 3D.