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

Resumo Técnico: Um Novo Espaço de Funções Vetoriais Generalizadas de Variação Limitada

Enunciado do Problema e Motivação
O artigo aborda a análise matemática de funcionais de energia decorrentes da mecânica da fratura, especificamente aqueles que modelam o crescimento de fissuras coesivas. O estudo foca em funcionais da 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}$$
onde $A \subset \mathbb{R}^d$ é um conjunto aberto limitado, $u: A \to \mathbb{R}^k$ é um campo de deslocamento, $J_u$ é o conjunto de saltos (superfície da fissura), $[u]$ é a abertura da fissura e $D^c u$ é a parte de Cantor da derivada.

O desafio específico surge quando a densidade de energia superficial $g$ satisfaz condições de crescimento linear próximo à origem (por exemplo, $g \sim |\zeta| \wedge 1$), o que é fisicamente relevante para modelos coesivos, mas matematicamente delicado. Nesses casos, o funcional não controla a amplitude total das aberturas das fissuras, e os espaços padrão como $SBV(A; \mathbb{R}^k)$ ou mesmo o espaço escalar $GBV(A)$ falham em fornecer compacidade para sequências minimizantes sem a adição de termos de ordem inferior artificiais.

No caso escalar ($k=1$), Dal Maso e Toader [18] introduziram o espaço $GBV^\star(A)$ para superar isso, provando que sequências minimizantes podem ser modificadas para convergir quase em toda parte sem termos de coercividade adicionais. O problema principal abordado neste artigo é a extensão deste framework para o caso vetorial ($k > 1$), isto é, definir e analisar o espaço $GBV^\star(A; \mathbb{R}^k)$, e estabelecer os resultados necessários de compacidade e semicontinuidade inferior para aplicar o Método Direto do Cálculo das Variações.

Metodologia e Definições
O autor, Davide Donati, define o espaço $GB$ estendendo a definição escalar componente a componente. Uma função $u \in L^0(A; \mathbb{R}^k)$ pertence a $GBV^\star(A; \mathbb{R}^k)$ se, e somente se, cada componente $u_i$ pertence ao espaço escalar $GBV^\star(A)$.

Passos metodológicos principais incluem:

1. Caracterização via Composição: O artigo caracteriza $GBV^\star(A; \mathbb{R}^k)$ não meramente através de propriedades componente a componente, mas através do comportamento de composições com funções suaves de suporte compacto. Especificamente, $u \in GBV^\star(A; \mathbb{R}^k)$ se, e somente se, para toda função Lipschitz $\phi: \mathbb{R}^k \to \mathbb{R}^k$ com suporte compacto, a composição $\phi \circ u$ pertence a $BV(A; \mathbb{R}^k)$, e a variação total dessas composições é uniformemente controlada pela constante de Lipschitz de $\phi$.
2. Análise de Truncamento: O autor utiliza uma família de funções de truncamento radiais suaves $\psi_R$ (que atuam como a identidade em bolas de raio $R$ e desaparecem fora do raio $\sigma R$) para relacionar a derivada generalizada $D^c u$ com as derivadas das funções truncadas $\psi_R \circ u$.
3. Adaptação de Argumentos Escalares: As provas para o caso vetorial adaptam amplamente os argumentos da teoria escalar [18] e trabalhos relacionados [17], utilizando técnicas de fatiamento (slicing) e a regra da cadeia para funções $BV$ para lidar com a natureza vetorial do problema.

Principais Contribuições e Resultados

1. Definição e Propriedades Estruturais de $GBV^\star(A; \mathbb{R}^k)$:

   • O espaço é estabelecido como um espaço vetorial.
   • O artigo prova que a parte de Cantor da derivada, $D^c u$, satisfaz a propriedade de posto um (análoga ao Teorema de Posto Um de Alberti para funções $BV$). Isso é derivado ao mostrar que a derivada de Radon-Nikodym de $D^c(\psi_R \circ u)$ converge para a de $D^c u$, e aplicando a conhecida propriedade de posto um para funções $BV$ às sequências truncadas.
   • A relação entre o conjunto de saltos $J_u$ e os conjuntos de saltos das funções truncadas é esclarecida, mostrando que $J_{\psi_R \circ u} \subset J_u$ até um conjunto negligenciável.

2. Semicontinuidade Inferior:

   • O artigo prova um resultado de semicontinuidade inferior para funcionais integrais da forma $E_{f,g}$ definidos em $GBV^\star(A; \mathbb{R}^k)$.
   • Sob condições de crescimento específicas na densidade de volume $f$ (crescimento linear) e na densidade de superfície $g$ (crescimento linear próximo a zero, limitada por $|\zeta| \wedge 1$), o funcional é mostrado como sendo semicontínuo inferior com relação à convergência em medida (topologia $L^0$).
   • A prova baseia-se em um argumento de fatiamento adaptado de [9], reduzindo o problema vetorial a um problema unidimensional onde a semicontinuidade inferior fraca em $BV$ pode ser invocada.

3. Compacidade e Modificação de Sequências Minimizantes:

   • Teorema 4.7: O artigo estabelece que, se uma sequência $(u_n) \subset GBV^\star(A; \mathbb{R}^k)$ possui energia uniformemente limitada e satisfaz uma condição de coercividade suave (limitação de $\int_A h(|u_n|) dx$ para algum $h$ superlinear), então existe uma subsequência convergindo $L^d$-quase em toda parte para um limite $u \in GBV^\star(A; \mathbb{R}^k)$.
   • Teorema 4.8: Crucialmente, o artigo demonstra que, para sequências minimizantes que satisfazem condições de contorno de Dirichlet, é possível construir uma sequência modificada $(y_n)$ tal que:
     • $y_n$ satisfaz as mesmas condições de contorno.
     • $F(y_n) \leq F(u_n) + \varepsilon_n$.
     • A sequência modificada satisfaz a condição de coercividade exigida pelo Teorema 4.7.
   • Este resultado implica que sequências minimizantes podem ser "reparadas" para garantir a convergência quase em toda parte sem adicionar termos de ordem inferior ao funcional, uma vantagem significativa para provas de existência em mecânica da fratura.

Significância e Alegações
O artigo alega que a introdução de $GBV^\star(A; \mathbb{R}^k)$ e os resultados de compacidade associados fornecem o framework analítico necessário para estudar problemas de mínimo para modelos de fissura coesiva no cenário vetorial.

O autor afirma explicitamente que estes resultados pretendem ser utilizados num trabalho subsequente [15] para abordar a homogeneização de funcionais de tipo coesivo no cenário vetorial. O artigo não pretende resolver problemas físicos específicos diretamente, mas sim fornecer as ferramentas de análise funcional rigorosas (existência de minimizadores via Método Direto) necessárias para estudar tais problemas. O trabalho estende a teoria escalar de Dal Maso e Toader [18] para o caso vetorial, garantindo que as propriedades de compacidade essenciais para métodos variacionais sejam preservadas ao lidar com campos de deslocamento multidimensionais.