On the divergence of the composition of irregular fields with BV functions

Aquí presento un resumen técnico detallado del artículo "On the Divergence of the Composition of Irregular Fields with BV Functions" de Graziano Crasta, Virginia De Cicco y Annalisa Malusa.

1. Planteamiento del Problema

El artículo aborda un problema fundamental en el análisis matemático y el cálculo de variaciones: la extensión de la regla de la cadena para la divergencia de composiciones de funciones irregulares.

• Contexto: Se considera una función escalar $u$ de variación acotada ($BV$) y un campo vectorial $B(x, t)$ que depende de la posición $x$ y del valor $t$. El objetivo es definir y estudiar la divergencia distribucional del campo compuesto $v(x) = B(x, u(x))$.
• La Dificultad: En el caso clásico ($C^1$), la regla de la cadena es $\text{div}(B(x, u)) = (\text{div}_x B)(x, u) + \partial_t B(x, u) \cdot \nabla u$. Sin embargo, cuando $u \in BV$, el término $\nabla u$ se convierte en una medida ($Du$) que contiene partes absolutamente continuas, de salto y de Cantor. El término $\partial_t B(x, u) \cdot Du$ no está bien definido en el sentido clásico debido a la discontinuidad de $u$ en su conjunto de saltos $J_u$.
• El Desafío Central: Identificar un sustituto natural para el producto escalar $\partial_t B(x, u) \cdot \nabla u$ que permita definir una medida de emparejamiento (pairing measure) válida, que respete las propiedades clásicas (como las fórmulas de Coarea y Gauss-Green) y que sea útil para problemas variacionales, específicamente la semicontinuidad inferior y la relajación de funcionales integrales.

2. Metodología y Supuestos

Los autores introducen un marco general basado en campos de medida de divergencia ($DM^\infty$) y funciones $BV$.

• Supuestos sobre el campo: Se considera una familia de campos $b(x, t)$ (donde $B(x, t) = \int_0^t b(x, s) ds$) que son:
  1. Acotados y medibles de Borel.
  2. Continuos en $t$ para casi todo $x$.
  3. Para cada $t$, $b(\cdot, t) \in DM^\infty(\Omega)$ (su divergencia distribucional es una medida de Radon finita).
  4. Existe una medida de control $\sigma$ que domina las variaciones totales de las divergencias de $b(\cdot, t)$.
• Representantes de $u$: Dado que $u$ es discontinua en $J_u$, se introduce la noción de representante $\lambda$-dependiente:
  $$u_\lambda(x) = (1-\lambda(x))u^-(x) + \lambda(x)u^+(x)$$
  donde $u^-$ y $u^+$ son los límites aproximados inferior y superior, y $\lambda: \Omega \to [0, 1]$ es una función medible de Borel que selecciona el valor de $u$ en el salto.

3. Contribuciones Clave

El artículo presenta dos familias principales de emparejamientos no lineales y establece su relación con la semicontinuidad:

A. Definición de Nuevos Emparejamientos

Se introducen dos tipos de medidas de emparejamiento entre el campo $b(x, u)$ y la derivada $Du$:

1. Emparejamiento No Lineal ($\lambda$-pairing):
   $$(b(\cdot, u), Du)_\lambda := -F(x, u_\lambda) \sigma + \text{div}(B(x, u))$$
   Donde $F$ es la derivada de Radon-Nikodym de la divergencia de $B$ respecto a $\sigma$. Este emparejamiento depende explícitamente del representante $u_\lambda$ elegido en el salto.

2. Emparejamiento Externo ($\lambda$-pairing externo):
   $$[b(\cdot, u), Du]_\lambda := -((1-\lambda)F(x, u^-) + \lambda F(x, u^+)) \sigma + \text{div}(B(x, u))$$
   Este es una generalización directa de la fórmula estándar (donde $\lambda=1/2$), pero los autores demuestran que, aunque útil para fórmulas integrales, no es el adecuado para problemas de semicontinuidad.

B. Propiedades Estructurales

• Teorema de Representación: Se demuestra que ambos emparejamientos son absolutamente continuos respecto a la medida $|Du|$.
• Fórmulas de Densidad: Se obtienen representaciones explícitas de las densidades de estas medidas:
  • En la parte de salto ($J_u$), la densidad depende de los rastros normales débiles del campo $b$ y de la elección de $\lambda$.
  • En la parte difusa (absolutamente continua y Cantor), la densidad es independiente de $\lambda$ y se relaciona con el trazo normal medio sobre las fronteras reducidas de los conjuntos de nivel $\{u > t\}$ (usando la fórmula de Coarea).
• Fórmula de Gauss-Green Generalizada: Se prueban fórmulas de Gauss-Green para ambos tipos de emparejamientos en dominios de perímetro finito, extendiendo resultados previos de casos lineales y no lineales específicos.

C. Semicontinuidad y Relajación (El Resultado Principal)

El hallazgo más significativo es la caracterización de los emparejamientos que garantizan la semicontinuidad inferior de los funcionales asociados.

• Problema: El emparejamiento estándar (o el externo con $\lambda$ fijo) no es semicontinuo inferiormente bajo convergencia $L^1$ controlada.
• Solución: Los autores definen un emparejamiento semicontinuo inferior $(b(\cdot, u), Du)_L$ seleccionando $\lambda$ de manera óptima para minimizar la contribución en el salto.
  • Se define $pF(x, u^-, u^+) = \max_{t \in [u^-, u^+]} F(x, t)$.
  • El emparejamiento óptimo es: $(b(\cdot, u), Du)_L := -pF(x, u^-, u^+) \sigma + \text{div}(B(x, u))$.
• Teorema de Relajación: Se demuestra que este emparejamiento óptimo $(b(\cdot, u), Du)_L$ es precisamente la relajación (en el sentido de la convergencia débil-* en $BV$) de funcionales integrales definidos originalmente en espacios de Sobolev $W^{1,1}$.
  $$\mathcal{F}(u) = \int_\Omega \phi \, d(b(x, u), Du)_L$$
  Esto generaliza resultados previos que solo eran válidos para campos con divergencia en $L^1$ o casos lineales.

4. Resultados Técnicos Destacados

1. Identificación de Familias: Se prueba que cualquier emparejamiento externo $[b, Du]_\Lambda$ puede ser representado como un emparejamiento no lineal $(b, Du)_\lambda$ para una elección adecuada de $\lambda$, aunque la relación inversa no siempre es trivial sin condiciones de monotonía.
2. Fórmula de Coarea: Se establece una fórmula de Coarea para los emparejamientos externos, lo cual es crucial para descomponer la medida en partes relacionadas con los conjuntos de nivel.
3. Aproximación: Se utiliza una secuencia de campos suaves y funciones $C^\infty$ (teorema de aproximación de Comi-Leonardi) para probar los resultados de relajación, asegurando que los representantes puntuales converjan adecuadamente.
4. Caso Lineal: Se recupera como caso particular el trabajo previo sobre emparejamientos lineales $(A, Du)_\lambda$, mostrando que la nueva teoría unifica y extiende los resultados existentes.

5. Significado e Impacto

Este trabajo es fundamental por varias razones:

• Unificación Teórica: Proporciona un marco unificado para la divergencia de composiciones en el contexto de campos irregulares y funciones $BV$, cubriendo desde casos lineales hasta no lineales generales.
• Resolución de Problemas Variacionales: Resuelve la cuestión de qué "representante" de una función $BV$ debe usarse en el salto para garantizar la estabilidad (semicontinuidad) de funcionales de energía. Esto es crucial en mecánica de medios continuos, plasticidad y problemas de flujo con discontinuidades.
• Generalización de la Relajación: Extiende el teorema de relajación de funcionales integrales más allá de los campos con divergencia en $L^1$, abarcando campos de medida de divergencia ($DM^\infty$), lo cual es esencial para modelar fenómenos físicos con singularidades fuertes.
• Herramientas para EDPs: Las fórmulas de Gauss-Green generalizadas y la definición de emparejamientos robustos son herramientas esenciales para formular débilmente ecuaciones de conservación y leyes de transporte con flujos discontinuos.

En resumen, el artículo establece una teoría rigurosa para manejar la interacción entre campos vectoriales irregulares y funciones con saltos, definiendo las reglas de emparejamiento correctas para asegurar la consistencia matemática en problemas de cálculo de variaciones y ecuaciones diferenciales parciales no lineales.