Anisotropic gradient rearrangement of BV functions and applications

Resumen Técnico: Reordenamiento Anisotrópico del Gradiente de Funciones BV y Aplicaciones

Enunciado del Problema
El artículo aborda la extensión de las técnicas de simetrización y reordenamiento desde el entorno euclídeo a entornos anisotrópicos para funciones de variación acotada (BV). Mientras que la simetrización clásica (por ejemplo, la simetrización de Schwarz) compara soluciones de Ecuaciones Diferenciales Parciales (EDP) en dominios generales con soluciones en bolas simétricas, desarrollos recientes en [10] introdujeron un reordenamiento del gradiente para funciones BV en el caso euclídeo. Este procedimiento separa la parte absolutamente continua del gradiente de su parte singular, reordenando la primera y concentrando la segunda en la frontera del dominio simetrizado.

El problema específico abordado aquí es la generalización de este resultado al entorno anisotrópico, donde la geometría está gobernada por una función convexa, positivamente 1-homogénea $H$ (la norma anisotrópica o norma de Finsler) en lugar de la norma euclídea. En este contexto, los objetos geométricos naturales son las formas de Wulff (minimizadores del perímetro anisotrópico) en lugar de las bolas euclídeas. El desafío radica en definir un reordenamiento que preserve la variación total anisotrópica y establezca una comparación en $L^1$ entre una función y su contraparte simetrizada, teniendo en cuenta la parte singular de la derivada distribucional.

Metodología
Los autores emplean una estrategia análoga al caso euclídeo en [10], adaptada al marco anisotrópico:

1. Definiciones y Preliminares: El artículo establece la notación necesaria para las normas anisotrópicas ($H$), las normas polares ($H^\circ$) y las bolas de Wulff ($W_R$). Define la variación total anisotrópica $|Du|_H$ y recuerda la fórmula de Coarea anisotrópica y la desigualdad isoperimétrica anisotrópica.
2. Truncamiento y Descomposición de la Medida: Para una función no negativa $u \in BV_0(\Omega)$, los autores consideran truncamientos $v_s = (u - u^*(s))_+$. Analizan la variación total anisotrópica de estos truncamientos, $G(s) = |Dv_s|_H(\mathbb{R}^n)$, descomponiéndola en una parte absolutamente continua ($G_{H,1}$) y una parte singular ($G_{H,2}$).
3. Construcción del Reordenamiento del Gradiente:
   • La parte absolutamente continua de la densidad de energía anisotrópica, $H(\nabla_a u)$, se reordena a una función creciente $g^\sharp$ en la bola de Wulff $\Omega^\star$.
   • Se construye una nueva función $u^\star$ en $\Omega^\star$ tal que su gradiente satisface $H(\nabla u^\star) = g^\sharp$ casi en todas partes.
   • Crucialmente, la parte singular de la derivada original, $D_s u$, no se descarta. En su lugar, se codifica como un trazo de frontera constante $c_0$ en $\partial \Omega^\star$. Esta constante se define como la relación entre la variación anisotrópica singular total y el perímetro anisotrópico de la bola de Wulff: $c_0 = |D_s u|_H(\mathbb{R}^n) / P_H(\Omega^\star)$.
4. Prueba de Comparación: El teorema principal se demuestra estableciendo una desigualdad diferencial que relaciona la función de distribución de $u$ con la medida inducida por el reordenamiento. Integrando esta desigualdad y utilizando la desigualdad de Hardy-Littlewood, los autores derivan la comparación en $L^1$.

Contribuciones y Resultados Clave

• Teorema 1.2 (Resultado Principal): Para una función no negativa $u \in BV_0(\Omega)$, sea $u^\star$ el reordenamiento anisotrópico del gradiente definido en la bola de Wulff $\Omega^\star$ (con $|\Omega^\star| = |\Omega|$). El artículo demuestra la comparación en $L^1$:
  $$\|u\|_{L^1(\Omega)} \leq \|u^\star\|_{L^1(\Omega^\star)}$$
  Este resultado generaliza la comparación en $L^1$ euclídea de [10] al entorno anisotrópico.

• Preservación de la Variación Total Anisotrópica: La construcción asegura que la variación total anisotrópica se preserve bajo la simetrización:
  $$|Du^\star|_H(\mathbb{R}^n) = |Du|_H(\mathbb{R}^n)$$
  La parte singular de la derivada se recupera explícitamente como un término de frontera en la función simetrizada.

• Aplicaciones a la Rigidez Torsional: Los autores aplican el teorema principal para derivar desigualdades de tipo Saint-Venant para dos funcionales relacionados con la rigidez torsional en el entorno anisotrópico:

  1. Rigidez Torsional Penalizada ($T^H_F$): Para un funcional que involucra energía de Dirichlet anisotrópica y un término de penalización basado en la medida del soporte del gradiente, el artículo demuestra que el funcional se minimiza (o la rigidez se maximiza) cuando el dominio es una bola de Wulff. Esto se logra mostrando que el reordenamiento anisotrópico del gradiente preserva la energía y el término de penalización mientras aumenta la norma $L^1$ de la función.
  2. Funcional de Aislamiento Anisotrópico ($T^H_G$): Para un funcional que involucra energía de Dirichlet anisotrópica y un término de frontera relacionado con el trazo de la función, el artículo establece una desigualdad similar de tipo Saint-Venant. Un paso técnico clave (Lema 4.4) identifica la integral de frontera del trazo con la parte singular de la variación anisotrópica de la extensión por cero de la función, permitiendo que el teorema principal de reordenamiento sea aplicable.

Significado y Afirmaciones
El artículo afirma proporcionar un contraparte anisotrópico riguroso a la técnica de simetrización del gradiente introducida en [10]. Su significado principal radica en:

• Manejo de Singularidades: Extiende exitosamente los métodos de reordenamiento a funciones BV rastreando explícitamente la parte singular de la derivada a través de un dato de frontera, en lugar de perderla durante la simetrización.
• Generalidad Geométrica: Reemplaza la bola euclídea con la forma de Wulff, que es el minimizador natural para las energías superficiales anisotrópicas, haciendo así que los resultados sean aplicables a modelos que involucran tensión superficial cristalina y energías interfaciales.
• Aplicaciones Variacionales: Demuestra la utilidad de este reordenamiento para probar desigualdades de tipo isoperimétrico en problemas variacionales donde la geometría natural es anisotrópica.

Limitaciones y Modestia
Los autores son modestos respecto al alcance de sus afirmaciones de unicidad. En el contexto de la rigidez torsional penalizada en una bola de Wulff (Proposición 4.1), establecen la existencia de un minimizador simétrico pero declaran explícitamente que no afirman la unicidad. Señalan que un resultado de unicidad o rigidez requeriría un análogo anisotrópico de los teoremas de rigidez demostrados en [33] para el caso euclídeo, los cuales no están disponibles en el entorno anisotrópico actual. En consecuencia, el artículo se centra en los principios de comparación y la existencia de minimizadores simétricos en lugar de caracterizaciones completas de rigidez.