Geometric properties of solutions to elliptic PDE's in Gauss space and related Brunn-Minkowski type inequalities

A continuación presento un resumen técnico detallado del artículo "Propiedades geométricas de las soluciones a EDPs elípticas en el espacio de Gauss e inequalities de tipo Brunn-Minkowski relacionadas", escrito por Andrea Colesanti, Lei Qin y Paolo Salani.

1. Planteamiento del Problema

El objetivo principal del trabajo es extender resultados clásicos de la teoría de desigualdades isoperimétricas y convexidad de soluciones a un contexto específico: el espacio de Gauss (medida gaussiana) y el operador $p$-Laplaciano ponderado.

• Contexto: Se estudia el primer valor propio no trivial (autovalor de Dirichlet) del operador $p$-Laplaciano en el espacio de Gauss, denotado como $\lambda_{p,\gamma}$.
• El Operador: El operador considerado es:
  $$-\Delta_{p,\gamma} u = -\text{div}(|\nabla u|^{p-2}\nabla u) + \langle x, \nabla u \rangle |\nabla u|^{p-2}$$
  donde $p > 1$ y la medida de Gauss es $d\gamma(x) = (2\pi)^{-n/2} e^{-|x|^2/2} dx$.
• El Problema Variacional: Se busca minimizar el cociente de Rayleigh ponderado:
  $$\lambda_{p,\gamma}(\Omega) = \inf \left\{ \frac{\int_\Omega |\nabla u|^p d\gamma}{\int_\Omega |u|^p d\gamma} : u \in W^{1,p}_0(\Omega, \gamma), u \not\equiv 0 \right\}$$
• Objetivos Específicos:
  1. Establecer una desigualdad de tipo Brunn-Minkowski para $\lambda_{p,\gamma}$ en dominios acotados con frontera Lipschitz.
  2. Probar la log-concavidad de las autofunciones positivas correspondientes cuando el dominio es convexo.

2. Metodología

Los autores emplean una combinación de análisis no lineal, teoría de soluciones de viscosidad y técnicas de convolución.

• Convoluciones Sup e Inf: Para manejar la regularidad y la estructura convexa, los autores utilizan la sup-convolución ($u_\varepsilon$) y la inf-convolución de las soluciones. Estas herramientas permiten aproximar funciones semicontinuas por funciones más regulares (localmente Lipschitz y dos veces diferenciables casi por todas partes).
• Teoría de Soluciones de Viscosidad: Un paso crucial es demostrar que las soluciones de viscosidad del problema (2) son también soluciones débiles (distribucionales). Esto es fundamental porque permite utilizar técnicas variacionales (como el cociente de Rayleigh) sobre funciones que inicialmente solo se definen en sentido de viscosidad.
• Prueba de Equivalencia (Teorema 3.6): Se demuestra rigurosamente que, bajo ciertas condiciones de acotamiento y semicontinuidad, una solución de viscosidad sub-solución es una solución débil sub-solución. Esto conecta la teoría de soluciones de viscosidad (que maneja bien la no linealidad y la falta de regularidad clásica) con la teoría de espacios de Sobolev ponderados.
• Construcción de Funciones de Prueba: Para probar la desigualdad de Brunn-Minkowski, se construye una función $u_t$ definida mediante una combinación logarítmica de las soluciones en dos dominios $\Omega_0$ y $\Omega_1$:
  $$u_t(x) = \sup \{ u_0(x_0)^{1-t} u_1(x_1)^t : x = (1-t)x_0 + tx_1 \}$$
  Se demuestra que esta función $u_t$ es una sub-solución de viscosidad en el dominio interpolado $\Omega_t = (1-t)\Omega_0 + t\Omega_1$.

3. Contribuciones Clave y Resultados

A. Desigualdad de Brunn-Minkowski para $\lambda_{p,\gamma}$ (Teorema 1.1)

El resultado principal establece que el autovalor principal es una función cóncava con respecto a la combinación lineal de Minkowski de los dominios.
Para $p > 1$, $t \in [0,1]$ y dominios acotados Lipschitz $\Omega_0, \Omega_1$:
$$\lambda_{p,\gamma}((1-t)\Omega_0 + t\Omega_1) \leq (1-t)\lambda_{p,\gamma}(\Omega_0) + t\lambda_{p,\gamma}(\Omega_1)$$

• Significado: Esto generaliza resultados previos conocidos para el Laplaciano ($p=2$) en espacio euclidiano y en espacio de Gauss, extendiéndolos al caso no lineal $p$-Laplaciano en el espacio de Gauss.

B. Desigualdad de Urysohn y Optimización (Corolario 1.4)

Como consecuencia de la desigualdad de Brunn-Minkowski, se deriva una desigualdad de tipo Urysohn. Se demuestra que, entre todos los dominios con un ancho medio ($w(\Omega)$) fijo, la bola centrada en el origen minimiza el autovalor $\lambda_{p,\gamma}$.
$$\lambda_{p,\gamma}(\Omega) \geq \lambda_{p,\gamma}(\Omega^\sharp)$$
donde $\Omega^\sharp$ es la bola con el mismo ancho medio que $\Omega$.

• Nota Importante: Los autores destacan la diferencia con la desigualdad isoperimétrica clásica en el espacio de Gauss (donde los minimizadores son semiespacios). Aquí, al usar el ancho medio (una cantidad métrica) en lugar del volumen, el minimizador es una bola, no un semiespacio.

C. Log-concavidad de las Autofunciones (Teorema 1.5)

Se prueba que si $\Omega$ es un dominio convexo, la autofunción positiva $u$ asociada al primer autovalor es log-concava. Es decir, la función $W = \ln u$ es cóncava en $\Omega$.

• Método: Se utiliza la misma construcción de $u_t$ (con $\Omega_0 = \Omega_1 = \Omega$). Se demuestra que $u_t$ es una sub-solución débil y, por la unicidad y propiedades de los autovalores, debe coincidir con $u$ (salvo una constante), lo que implica la log-concavidad.
• Innovación: El enfoque permite probar la log-concavidad y la desigualdad de Brunn-Minkowski simultáneamente con el mismo argumento, incluso bajo condiciones de regularidad más débiles que las requeridas en trabajos anteriores.

D. Resultado Técnico Independiente (Teorema 3.6)

La demostración de que las soluciones de viscosidad son soluciones débiles para el operador $p$-Laplaciano ponderado en el espacio de Gauss es un resultado de interés por sí mismo. Esto llena un vacío técnico necesario para aplicar métodos variacionales a soluciones que no son necesariamente $C^2$.

4. Significado e Impacto

1. Unificación de Teorías: El trabajo conecta exitosamente la teoría de desigualdades geométricas (Brunn-Minkowski), la teoría de ecuaciones diferenciales parciales no lineales ($p$-Laplaciano) y la teoría de medidas gaussianas.
2. Generalización: Extende resultados clásicos de Brascamp-Lieb (para $p=2$) y de otros autores para el Laplaciano en Gauss, al caso no lineal $p > 1$.
3. Herramientas Robustas: La demostración de la equivalencia entre soluciones de viscosidad y débiles en este contexto específico abre la puerta para estudiar problemas de regularidad y optimización en espacios de medida ponderados con operadores degenerados o singulares.
4. Nuevas Perspectivas Isoperimétricas: La Corolario 1.4 ofrece una visión diferente a la isoperimetría gaussiana tradicional, mostrando que la minimización del autovalor bajo restricciones de "anchura" (en lugar de volumen) conduce a bolas, lo cual es contraintuitivo en el contexto gaussiano estándar pero natural bajo esta métrica.

En resumen, el artículo proporciona una teoría sólida y completa sobre el comportamiento geométrico de los autovalores y autofunciones del operador $p$-Laplaciano en el espacio de Gauss, estableciendo nuevas desigualdades fundamentales y demostrando propiedades de convexidad de las soluciones bajo condiciones de regularidad óptimas.