A new space of generalised vector-valued functions of bounded variation

Resumen Técnico: Un Nuevo Espacio de Funciones Vectoriales Generalizadas de Variación Acotada

Planteamiento del Problema y Motivación
El artículo aborda el análisis matemático de los funcionales de energía que surgen en la mecánica de la fractura, específicamente aquellos que modelan el crecimiento de grietas cohesivas. El estudio se centra en funcionales de la forma:
$$F(u) = \int_A f(x, \nabla u) \, dx + \int_A f^\infty\left(x, \frac{dD^c u}{d|D^c u|}\right) d|D^c u| + \int_{J_u} g(x, [u], \nu_u) \, d\mathcal{H}^{d-1}$$
donde $A \subset \mathbb{R}^d$ es un conjunto abierto acotado, $u: A \to \mathbb{R}^k$ es un campo de desplazamientos, $J_u$ es el conjunto de saltos (superficie de la grieta), $[u]$ es la apertura de la grieta y $D^c u$ es la parte de Cantor de la derivada.

El desafío específico surge cuando la densidad de energía superficial $g$ satisface condiciones de crecimiento lineal cerca del origen (por ejemplo, $g \sim |\zeta| \wedge 1$), lo cual es físicamente relevante para los modelos cohesivos pero matemáticamente delicado. En tales casos, el funcional no controla la amplitud completa de las aperturas de las grietas, y los espacios estándar como $SBV(A; \mathbb{R}^k)$ o incluso el espacio escalar $GBV(A)$ no proporcionan compacidad para las sucesiones minimizantes sin añadir términos de orden inferior artificiales.

En el caso escalar ($k=1$), Dal Maso y Toader [18] introdujeron el espacio $GBV^\star(A)$ para superar esto, demostrando que las sucesiones minimizantes pueden ser modificadas para converger casi en todas partes sin términos de coercitividad adicionales. El problema principal abordado en este artículo es la extensión de este marco al caso vectorial ($k > 1$), es decir, definir y analizar el espacio $GBV^\star(A; \mathbb{R}^k)$, y establecer los resultados necesarios de compacidad y semicontinuidad inferior para aplicar el Método Directo del Cálculo de Variaciones.

Metodología y Definiciones
El autor, Davide Donati, define el espacio $GBV^\star(A; \mathbb{R}^k)$ extendiendo la definición escalar componente a componente. Una función $u \in L^0(A; \mathbb{R}^k)$ pertenece a $GBV^\star(A; \mathbb{R}^k)$ si y solo si cada componente $u_i$ pertenece al espacio escalar $GBV^\star(A)$.

Pasos metodológicos clave:

1. Caracterización mediante Composición: El artículo caracteriza $GBV^\star(A; \mathbb{R}^k)$ no meramente por propiedades componente a componente, sino a través del comportamiento de las composiciones con funciones suaves de soporte compacto. Específicamente, $u \in GBV^\star(A; \mathbb{R}^k)$ si y solo si para toda función Lipschitz $\phi: \mathbb{R}^k \to \mathbb{R}^k$ con soporte compacto, la composición $\phi \circ u$ pertenece a $BV(A; \mathbb{R}^k)$, y la variación total de estas composiciones está controlada uniformemente por la constante de Lipschitz de $\phi$.
2. Análisis de Truncamiento: El autor utiliza una familia de funciones de truncamiento radiales suaves $\psi_R$ (que actúan como la identidad en bolas de radio $R$ y se anulan fuera del radio $\sigma R$) para relacionar la derivada generalizada $D^c u$ con las derivadas de las funciones truncadas $\psi_R \circ u$.
3. Adaptación de Argumentos Escalares: Las demostraciones para el caso vectorial adaptan en gran medida los argumentos de la teoría escalar [18] y trabajos relacionados [17], utilizando técnicas de rebanado (slicing) y la regla de la cadena para funciones $BV$ para manejar la naturaleza vectorial del problema.

Contribuciones Clave y Resultados

1. Definición y Propiedades Estructurales de $GBV^\star(A; \mathbb{R}^k)$:

   • Se establece que el espacio es un espacio vectorial.
   • El artículo demuestra que la parte de Cantor de la derivada, $D^c u$, satisface la propiedad de rango uno (análoga al Teorema de Rango Uno de Alberti para funciones $BV$). Esto se deriva al mostrar que la derivada de Radon-Nikodym de $D^c(\psi_R \circ u)$ converge a la de $D^c u$, y aplicando la conocida propiedad de rango uno para funciones $BV$ a las sucesiones truncadas.
   • Se clarifica la relación entre el conjunto de saltos $J_u$ y los conjuntos de saltos de las funciones truncadas, mostrando que $J_{\psi_R \circ u} \subset J_u$ salvo un conjunto de medida nula.

2. Semicontinuidad Inferior:

   • El artículo demuestra un resultado de semicontinuidad inferior para funcionales integrales de la forma $E_{f,g}$ definidos en $GBV^\star(A; \mathbb{R}^k)$.
   • Bajo condiciones de crecimiento específicas sobre la densidad de volumen $f$ (crecimiento lineal) y la densidad superficial $g$ (crecimiento lineal cerca de cero, acotada por $|\zeta| \wedge 1$), el funcional es mostrado como semicontinuo inferior con respecto a la convergencia en medida (topología $L^0$).
   • La prueba se basa en un argumento de rebanado adaptado de [9], reduciendo el problema vectorial a un problema unidimensional donde se puede invocar la semicontinuidad inferior débil en $BV$.

3. Compacidad y Modificación de Sucesiones Minimizantes:

   • Teorema 4.7: El artículo establece que si una sucesión $(u_n) \subset GBV^\star(A; \mathbb{R}^k)$ tiene energía uniformemente acotada y satisface una condición de coercitividad leve (acotación de $\int_A h(|u_n|) dx$ para alguna $h$ superlineal), entonces existe una subsucesión que converge $L^d$-casi en todas partes a un límite $u \in GBV^\star(A; \mathbb{R}^k)$.
   • Teorema 4.8: Crucialmente, el artículo demuestra que para sucesiones minimizantes que satisfacen condiciones de contorno de Dirichlet, se puede construir una sucesión modificada $(y_n)$ tal que:
     • $y_n$ satisface las mismas condiciones de contorno.
     • $F(y_n) \leq F(u_n) + \varepsilon_n$.
     • La sucesión modificada satisface la condición de coercitividad requerida para el Teorema 4.7.
   • Este resultado implica que las sucesiones minimizantes pueden ser "reparadas" para asegurar la convergencia casi en todas partes sin añadir términos de orden inferior al funcional, una ventaja significativa para las demostraciones de existencia en la mecánica de la fractura.

Significancia y Reivindicaciones
El artículo sostiene que la introducción de $GBV^\star(A; \mathbb{R}^k)$ y los resultados de compacidad asociados proporcionan el marco analítico necesario para estudiar problemas de mínimo para modelos de fractura cohesiva en el entorno vectorial.

El autor establece explícitamente que estos resultados están destinados a ser utilizados en un trabajo posterior [15] para abordar la homogeneización de funcionales de tipo cohesivo en el entorno vectorial. El artículo no pretende resolver problemas físicos específicos directamente, sino que proporciona las herramientas de análisis funcional rigurosas (existencia de minimizadores vía el Método Directo) necesarias para estudiar tales problemas. El trabajo extiende la teoría escalar de Dal Maso y Toader [18] al caso vectorial, asegurando que las propiedades de compacidad esenciales para los métodos variacionales se preserven al tratar con campos de desplazamiento multidimensionales.