Sharp quantitative Talenti's inequality in particular cases

Resumen Técnico: Desigualdad de Talenti Cuantitativa Aguda en Casos Particulares

1. Planteamiento del Problema

El artículo se centra en la famosa desigualdad de Talenti, un resultado fundamental en el análisis de ecuaciones en derivadas parciales elípticas. La desigualdad establece que, para un dominio acotado $\Omega \subset \mathbb{R}^n$ y una función $f \in L^2(\Omega)$, la norma $L^p$ de la solución $u_f$ del problema de Dirichlet $-\Delta u_f = f$ es menor o igual que la norma $L^p$ de la solución $v$ del problema simetrizado $-\Delta v = f^\sharp$ en la bola centrada $\Omega^\sharp$ de igual volumen que $\Omega$, donde $f^\sharp$ es la simetrización de Schwarz de $f$.

El objetivo principal de este trabajo es establecer una versión cuantitativa de la estabilidad de esta desigualdad. Específicamente, los autores buscan cuantificar la diferencia entre las normas de las soluciones en términos de la "asimetría" del dominio y de la función fuente.

Casos particulares estudiados:

• El dominio $\Omega$ es fijo: la bola unitaria centrada $B_1$ (por lo tanto, $\Omega = \Omega^\sharp$).
• La función fuente $f$ es una función característica $\chi_E$ de un subconjunto medible $E \subset B_1$ con volumen fijo $m$.
• El problema se reduce a comparar la solución $u_E$ con la solución $u_{B^*}$, donde $B^*$ es la bola centrada de volumen $m$.

La pregunta central es: ¿Cuál es el exponente óptimo $\alpha$ tal que la diferencia de normas (el "déficit" de Talenti) esté acotada inferiormente por una constante multiplicada por la asimetría de $E$ elevada a $\alpha$?

2. Metodología

Los autores emplean un enfoque híbrido que combina optimización de formas, cálculo de derivadas de forma y principios de selección. La estrategia se divide según el valor del exponente $p$:

A. Caso $p = 1$ (Análisis Directo y Geométrico):

• Se formula un problema de optimización de formas: maximizar el déficit $\|u_{B^*}\|_1 - \|u_E\|_1$ bajo la restricción de que la asimetría $|E \Delta B^*|$ sea fija.
• Se demuestra que el "peor" conjunto (el que minimiza la norma $L^1$ para una asimetría dada) es un conjunto anular específico (la unión de una bola y un anillo, denotado $A_\delta$).
• Mediante cálculos explícitos y expansiones de Taylor en el radio de estos conjuntos, se obtiene una cota inferior cuadrática.

B. Caso $1 < p < \infty$ (Principio de Selección y Derivadas de Forma):

• Se utiliza el Principio de Selección (introducido por Cicalese y Leonardi), que permite reducir un problema de estabilidad global a uno local en el entorno de la solución óptima (la bola $B^*$).
• Paso 1: Se demuestra que es suficiente probar la estabilidad para perturbaciones suaves de la bola $B^*$.
• Paso 2: Se utiliza el Principio de la Bañera Cuantitativo (Quantitative Bathtub Principle) para aproximar conjuntos generales por conjuntos de nivel de un estado adjunto, transformando el problema en uno de perturbaciones suaves.
• Derivadas de Forma: Se calculan las derivadas de primer y segundo orden del funcional de energía $J(E) = \int_{B_1} j(u_E) dx$ (donde $j(s)=s^p$).
  • Se define un estado adjunto $w_E$ asociado al problema.
  • Se demuestra la coercividad de la segunda derivada de forma (condición de segundo orden suficiente) en el espacio de funciones ortogonales a la esfera. Esto implica que la bola es un máximo local estricto.
  • Se establece una propiedad de continuidad mejorada de la segunda derivada para controlar el resto de la expansión de Taylor.

C. Caso $p = \infty$:

• Se adapta la metodología anterior a la norma $L^\infty$.
• Se utiliza la función de Green de la bola para representar la solución. El máximo de la solución ocurre en el centro (para la bola simétrica).
• Se demuestra la diferenciabilidad del punto máximo $x_\Phi$ bajo deformaciones del dominio y se calculan las derivadas de segundo orden del funcional $J(E) = \|u_E\|_\infty$.

3. Contribuciones Clave y Resultados Principales

Teorema Principal (Teorema 1.1):
Para $n \ge 1$, $p \in [1, +\infty]$ y un volumen fijo $m \in (0, |B_1|)$, existe una constante $c > 0$ tal que para todo conjunto medible $E \subset B_1$ con $|E|=m$:
$$\|u_{B^*}\|_{L^p(B_1)} - \|u_E\|_{L^p(B_1)} \ge c |E \Delta B^*|^2$$
donde $B^*$ es la bola centrada de volumen $m$.

Puntos Destacados:

1. Exponente Agudo (Sharp): El exponente 2 en la asimetría $|E \Delta B^*|^2$ es óptimo. Los autores demuestran que no se puede obtener un exponente menor (es decir, la desigualdad falla si se intenta con un exponente $\alpha < 2$). Esto se prueba mediante la construcción de una secuencia de conjuntos anulares $A_\delta$ que satura la cota.
2. Constantes Explícitas: En el caso $p=1$, los autores proporcionan constantes explícitas para $c$ (dependiendo de $n$ y $m$). Para $p > 1$, la existencia de la constante se demuestra por contradicción, por lo que no es explícita en la formulación general, aunque el exponente es agudo.
3. Generalización del Funcional: Se prueba un resultado más general (Teorema 1.3) para funcionales de la forma $J(E) = \int j(u_E)$, donde $j$ es convexa estricta y creciente, bajo ciertas condiciones de comportamiento cerca del origen. Esto cubre el caso $p \in (1, \infty)$.
4. Novedad en $L^\infty$: El tratamiento del caso $p=\infty$ requiere el cálculo de la segunda derivada de forma de la norma $L^\infty$, un resultado que, según los autores, es nuevo en la literatura.

4. Significado e Impacto

• Precisión Cuantitativa: Este trabajo cierra la brecha sobre la tasa de convergencia en la desigualdad de Talenti para funciones características. Mientras que resultados previos (como los de [8] y [2]) obtenían exponentes no óptimos o dependientes de parámetros no explícitos, este artículo establece que la estabilidad es cuadrática (exponente 2), lo cual es el comportamiento esperado en problemas de optimización de formas con restricciones de volumen.
• Herramientas Analíticas: El artículo refina y aplica técnicas avanzadas de cálculo de variaciones en dominios variables, específicamente el uso de derivadas de forma de segundo orden y el principio de selección, demostrando su eficacia para problemas de desigualdades de comparación.
• Fundamento para Futuras Investigaciones: Al resolver el caso de funciones características, los autores sientan las bases para abordar el caso general donde $f$ no es una función característica, lo cual es el siguiente paso lógico en la teoría de estabilidad de la desigualdad de Talenti.

En conclusión, el artículo proporciona una respuesta definitiva y aguda a la pregunta de estabilidad cuantitativa de la desigualdad de Talenti en el contexto de dominios esféricos y fuentes binarias, demostrando que la penalización por asimetría es estrictamente cuadrática.