Optimal constant for the trace inequality in $BV$ for domains with corners

Resumen Técnico: Constante Óptima para la Desigualdad de Trazas en BV en Dominios con Singularidades

1. Planteamiento del Problema

El artículo aborda un problema fundamental en el análisis variacional y la teoría de funciones de variación acotada (BV): determinar la constante óptima en la desigualdad de trazas para funciones definidas en dominios con fronteras que presentan singularidades (específicamente, esquinas o vértices).

• Contexto: En dominios con fronteras suaves ($C^1$), la constante óptima en la desigualdad de trazas es conocida y vale 1 (resultado de Giusti). Sin embargo, cuando el dominio $\Omega$ tiene esquinas "hacia afuera" (convexas respecto al dominio), esta constante puede ser mayor que 1.
• La Cuestión Central: Dado un dominio $\Omega$ con una singularidad en un punto $x \in \partial\Omega$, ¿cuál es el valor exacto de la constante $Q_{\partial\Omega}$ que controla la traza de una función $u \in BV(\Omega)$ en términos de su variación total $|Du|(\Omega)$?
• Motivación: Esta constante es crucial para garantizar la existencia de soluciones en problemas de minimización de funcionales que combinan energías de volumen y de frontera (por ejemplo, en problemas de segmentación de imágenes o modelos de fractura), especialmente cuando el coeficiente de la energía de frontera es negativo.

La constante local $q_{\partial\Omega}(x)$ se define asintóticamente como el supremo de la relación entre la traza de la función característica de un conjunto $E$ y su perímetro relativo dentro de un cono $C$ que aproxima la geometría local de $\partial\Omega$ en $x$:
$$q_{\partial\Omega}(x) = \sup \left\{ \frac{1}{P(E; C)} \int_{\partial C} \text{Tr}(\mathbf{1}_E) \, d\mathcal{H}^{n-1} : E \subset C, |E|>0 \right\}$$

2. Metodología

Los autores emplean herramientas avanzadas de la teoría geométrica de la medida y análisis variacional:

1. Reducción a Problemas Cónicos: Aprovechando la homogeneidad de las singularidades, el problema local se reduce al estudio de conos $C \subset \mathbb{R}^n$. La constante local $q_{\partial\Omega}(0)$ se identifica con el supremo $\alpha(C)$ sobre conjuntos de perímetro finito dentro del cono.
2. Análisis de Existencia de Maximizadores: Se investiga primero si existe un conjunto $E$ que alcance dicho supremo. Se demuestra que, debido a la invariancia de escala de los conos, la existencia de un maximizador no está garantizada (las secuencias maximizadoras pueden colapsar a medida cero o escapar al infinito).
3. Uso del Teorema de Gauss-Green Generalizado: Se utiliza la fórmula de divergencia para conjuntos de perímetro finito (Teorema de Estructura de De Giorgi) y campos vectoriales constantes para relacionar la integral de la traza en la frontera del cono con el perímetro interno.
4. Construcción de Campos Vectoriales Específicos: La estrategia clave consiste en elegir un campo vectorial unitario $T$ (generalmente $(0, \dots, 0, 1)$) tal que su producto escalar con la normal exterior al cono $\nu_C$ sea constante en la frontera del cono. Esto permite acotar la integral de la traza directamente por el perímetro.
5. Caracterización de Conjuntos Óptimos: Se utiliza una proposición que establece que si la normal de un conjunto de perímetro finito es constante casi por todas partes, el conjunto debe ser la intersección de un semiespacio con el dominio.

3. Contribuciones Clave y Resultados Principales

El trabajo proporciona una fórmula explícita para la constante óptima en una clase amplia de singularidades cónicas en dimensiones $n \geq 2$.

A. Caracterización de la Geometría del Cono
Los autores identifican una clase de conos cuya base $G(f) \subset \mathbb{R}^{n-1}$ posee una esfera inscrita (o tangente) con una propiedad geométrica específica: cualquier hiperplano tangente a la base $G(f)$ en un punto $y$ también es tangente a una esfera $S_R(\bar{x})$ de radio $R$ en el mismo punto. Esto generaliza el caso de ángulos en 2D y conos generados por polígonos regulares o formas con simetría radial.

B. Teorema Principal (Teorema 2 y Teorema 19)
Si el cono $C$ satisface la condición de la esfera inscrita de radio $R$, la constante óptima es:
$$q_{\partial\Omega}(0) = \alpha(C) = \frac{\sqrt{1 + R^2}}{R} = \sqrt{1 + \frac{1}{R^2}}$$
Donde $R$ es el radio de la esfera inscrita en la base del cono.

C. Caracterización de los Maximizadores
El artículo demuestra que los conjuntos que alcanzan este supremo (si existen) son exactamente las intersecciones del cono con semiespacios definidos por un plano ortogonal al eje de simetría del cono (o al vector que define la dirección de la esfera inscrita). Específicamente, $E = C \cap \{x \in \mathbb{R}^n : x \cdot \bar{x} \leq t\}$ para algún $t > 0$.

D. Casos Específicos y Ejemplos

• Dimensión 2: Se recupera el resultado conocido donde la constante depende del ángulo. Para un ángulo de $90^\circ$ (como en la "libreta" o book-cone de la Figura 2), la base tiene dos puntos a distancia 2, lo que implica un radio de esfera inscrita $R=1$. La constante óptima es $\sqrt{1+1^2}/1 = \sqrt{2}$.
• Poliedros Regulares: Para conos generados por poliedros regulares en 3D (que tienen una esfera inscrita), la fórmula es aplicable.
• Límites de la Metodología: Se muestra que la fórmula no se aplica directamente a rectángulos no cuadrados (que no tienen una esfera inscrita única que sea tangente a todos los lados de la misma manera), sugiriendo que la constante podría ser diferente o que la solución óptima no es un simple corte por semiespacio en esos casos.

E. Acotación para Casos Generales (Corolario 23)
Para conos que no cumplen estrictamente la condición de tangencia total, pero donde los planos tangentes a la base son tangentes o disjuntos de una esfera de radio $R$, se obtiene una cota superior:
$$\alpha(C) \leq \frac{\sqrt{1 + R^2}}{R}$$
Esto permite estimar la constante buscando la esfera inscrita más grande posible.

4. Significado e Impacto

• Precisión en Problemas Variacionales: El resultado permite calcular explícitamente el umbral crítico de los coeficientes en funcionales de energía mixta (volumen + frontera). Si el coeficiente de la frontera es menor que $-1/Q_{\partial\Omega}$, el problema de minimización no tiene solución (la energía tiende a $-\infty$).
• Generalización de Resultados Clásicos: Extiende el trabajo de Giusti (que cubría fronteras $C^1$) a dominios con esquinas, proporcionando la primera fórmula explícita para una clase no trivial de singularidades en dimensiones superiores ($n \geq 3$).
• Geometría y Análisis: El trabajo conecta profundamente la geometría de la base del cono (existencia de esferas inscritas tangentes) con las propiedades analíticas de las funciones BV, demostrando que la estructura óptima de los minimizadores está dictada por la simetría de la singularidad.
• Direcciones Futuras: El artículo abre la puerta a investigar si estas constantes y formas óptimas se mantienen para conos convexos generales (como rectángulos no cuadrados) o si se requieren estructuras más complejas que no sean cortes por semiespacios.

En conclusión, Cristoferi y Van Der Gulik resuelven explícitamente el problema de la constante óptima de traza para una clase significativa de dominios con esquinas, revelando que la geometría de la "esfera inscrita" en la base del cono dicta el comportamiento asintótico de las funciones de variación acotada cerca de la singularidad.