A regularity result for $BV^{\mathcal{A}}(\Omega)$

Resumen Técnico: Un Resultado de Regularidad para $BV_A(\Omega)$

Enunciado del Problema
El artículo aborda la regularidad de distribuciones sujetas a restricciones diferenciales lineales de rango constante. Específicamente, investiga si una distribución $u$ definida en un dominio acotado $\Omega \subset \mathbb{R}^n$, cuya imagen bajo un operador elíptico lineal de primer orden $A$ es una medida de Radon acotada ($Au \in \mathcal{M}(\Omega; W)$), pertenece necesariamente al espacio de funciones con variación $A$-acotada, denotado $BV_A(\Omega; V)$.

Los resultados clásicos para el espacio de funciones de deformación acotada, $BD(\Omega)$ (donde $A$ es el gradiente simetrizado), requieren típicamente que el borde del dominio $\partial\Omega$ sea de clase $C^1$. Este trabajo tiene como objetivo extender dichos resultados de regularidad a dominios con meros bordes Lipschitz, una suposición geométrica más débil, para una clase más amplia de operadores que satisfacen condiciones algebraicas específicas.

Metodología
Los autores emplean una combinación de propiedades algebraicas del símbolo principal del operador y técnicas de corte geométrico. La metodología central se basa en los siguientes componentes:

1. Propiedad de Rango Uno y Mezcla Algebraica: El análisis se restringe a operadores elípticos de primer orden $A$ que satisfacen la propiedad de rango uno (introducida por Arroyo-Rabasa). Esta propiedad es equivalente a una condición de mezcla algebraica en el símbolo principal $A(\xi)$. Esta condición asegura que el operador permite una "polarización" del problema, vinculando la estructura del operador con un comportamiento unidimensional.
2. Espectro Direccional y Cortes: Los autores utilizan el concepto de espectro direccional $\partial\sigma(A)$. Al establecer que para cualquier dirección $\xi$, existe un vector dual $v^*$ tal que el emparejamiento $\langle v^*, u(\cdot) \rangle$ se comporta como una función clásica unidimensional de variación acotada ($BV$), reducen el problema multidimensional a una familia de secciones unidimensionales.
3. Compacidad y Polarización: Un paso técnico clave implica demostrar un teorema de compacidad (Teorema 4.2) para secuencias en $BV_A$. Esto se basa en un argumento de polarización (Lema 3.4) que demuestra que si dos direcciones $(\xi, v^*)$ y $(\eta, f)$ pertenecen al espectro direccional, se puede generar una familia continua de direcciones. Esto permite controlar el módulo de continuidad $L^1$ del campo vectorial completo $u$ basándose en la continuidad de sus secciones unidimensionales.
4. Regularidad Local mediante Teoría de Distribuciones: Para manejar el borde, los autores establecen primero un resultado de regularidad local (Teorema 5.1) que muestra que $u \in BV_{A, loc}(\Omega)$. Esto se logra utilizando la molificación y una construcción específica de seminorma para manejar el núcleo del operador, evitando depender de la teoría clásica de la elasticidad específica del gradiente simetrizado.
5. Integrabilidad en el Borde: El paso final implica extender la integrabilidad local al borde. Cubriendo el borde Lipschitz con vecindades donde el borde puede representarse como un gráfico, y utilizando la fórmula del co-área junto con el teorema de corte, los autores prueban que la distribución es integrable hasta el borde.

Contribuciones y Resultados Clave
El resultado principal es el Teorema 1.1, que establece:

Sea $\Omega \subset \mathbb{R}^n$ un dominio acotado con un borde Lipschitz y sea $A$ un operador elíptico de primer orden que satisface la propiedad de rango uno. Si $u \in \mathcal{D}'(\Omega; V)$ y $Au \in \mathcal{M}(\Omega; W)$, entonces $u \in BV_A(\Omega; V)$.

Los logros técnicos específicos incluyen:

• Extensión a Dominios Lipschitz: El artículo elimina con éxito el requisito de borde $C^1$ encontrado en los teoremas clásicos de regularidad de $BD$, probando el resultado para dominios Lipschitz.
• Generalización de Operadores: El resultado se aplica a cualquier operador elíptico de primer orden que satisfaga la propiedad de rango uno, generalizando el caso específico del gradiente simetrizado.
• Teorema de Compacidad: Los autores proporcionan un resultado de compacidad (Teorema 4.2) para secuencias en $BV_A$, estableciendo que las secuencias acotadas en $BV_A(\Omega; V)$ poseen subsucesiones que convergen en $L^1(\Omega; V)$. Esto se deriva utilizando el teorema de Fréchet-Kolmogorov combinado con las propiedades de corte del operador.
• Regularidad Local: El Teorema 5.1 establece que las distribuciones con variación $A$-acotada están localmente en $BV_A$, un paso intermedio crucial para el resultado global.

Significado y Afirmaciones
Los autores posicionan este trabajo como una extensión de los fenómenos de regularidad conocidos para los espacios $BD$ a una clase más amplia de operadores elípticos bajo suposiciones geométricas más débiles. El significado radica en:

• Generalización Estructural: Demostrar que la propiedad de rango uno es la condición estructural suficiente para habilitar técnicas de corte para operadores más allá del gradiente y el gradiente simetrizado.
• Flexibilidad Geométrica: Probar que la regularidad de las soluciones a estas restricciones diferenciales no depende de la suavidad del borde más allá de la condición Lipschitz, que es un requisito estándar en la teoría de la medida geométrica pero una condición más fuerte de la necesaria para estos operadores elípticos específicos.
• Independencia Metodológica: Se señala que la prueba de la regularidad local (Teorema 5.1) se basa en la teoría básica de distribuciones y argumentos de compacidad en lugar de las estructuras algebraicas específicas de la plasticidad o elasticidad clásicas, sugiriendo un marco más robusto para analizar problemas variacionales con crecimiento lineal.

El artículo no propone nuevas aplicaciones ni propuestas experimentales, sino que solidifica la base teórica para el espacio $BV_A(\Omega)$ en el contexto de dominios Lipschitz, facilitando un análisis adicional de propiedades finas y operadores de traza en este entorno.