🔢 mathematics

On the Brunn-Minkowski inequality for $q$ -th dual quermassintegrals with $q>n$

Este artículo resuelve la desigualdad de Brunn-Minkowski para las integrales de quermassintegral duales de orden $q$ con $q>n$ al demostrar su fallo para cuerpos convexos generales y ciertos cuerpos simétricos, mientras establece su validez para cuerpos simétricos respecto al origen en el extremo $q=n+2$ y para cuerpos incondicionales en todo el rango $0<q\le n+1$ , lo que conduce a nuevos resultados de unicidad para las medidas de curvatura duales.

Autores originales: Haizhong Li, Yao Wan, Yijia Zhang

Publicado 2026-08-05

📖 6 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Haizhong Li, Yao Wan, Yijia Zhang

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina el mundo de las formas no como dibujos estáticos, sino como entidades vivas y palpitantes que pueden estirarse, encogerse y fusionarse. En la rama de las matemáticas llamada geometría convexa, los científicos estudian los "cuerpos convexos": piensa en ellos como formas perfectamente suaves y abultadas como un balón de baloncesto, una hogaza de pan o una piedra pulida, donde si trazas una línea entre dos puntos cualesquiera en su interior, toda la línea permanece dentro. Durante más de un siglo, los matemáticos se han obsesionado con una regla de oro llamada la desigualdad de Brunn-Minkowski. Es como una ley cósmica del volumen: si tomas dos de estas formas y las aplastas juntas (un proceso llamado suma de Minkowski), la forma resultante es siempre más "gorda" de lo que esperarías si solo sumaras sus tamaños. Es la razón por la cual una pila de arena es más difícil de empujar que un solo grano, y ayuda a los ingenieros a diseñar puentes más fuertes y a los físicos a comprender cómo se comporta la materia.

Pero hay un giro. ¿Y si no solo medimos el volumen total de estas formas? ¿Qué pasa si las pesamos de manera diferente, dando más importancia a las partes alejadas del centro, o a las partes cercanas al centro? Aquí es donde entran los quermases duales. Piensa en ellos como "volúmenes con sabor". En lugar de solo contar cuánto espacio ocupa una forma, la contamos con una receta especial que cambia según un número llamado $q$ . Si $q$ es pequeño, la receta es suave; si $q$ es enorme, la receta se vuelve loca, gritando sobre los bordes y las esquinas. Durante mucho tiempo, los matemáticos supieron que esta regla de "volumen con sabor" funcionaba perfectamente cuando el número de la receta $q$ era pequeño (específicamente, $q \le n$ , donde $n$ es el número de dimensiones). Pero, ¿qué pasa cuando giramos el dial hacia arriba? ¿Qué pasa si usamos una receta súper intensa donde $q$ es mayor que el número de dimensiones? ¿Sigue funcionando la regla de oro o el universo de las formas se rompe?

Este es el rompecabezas que Li, Wan y Zhang abordaron en su nuevo artículo. Se preguntaron: ¿Sigue funcionando la desigualdad de Brunn-Minkowski cuando el parámetro de sabor $q$ es mayor que la dimensión del espacio ( $q > n$ )?

La respuesta, resulta ser, es un dramático "Depende, y la mayoría de las veces no".

Primero, los autores demostraron que si dejas que las formas sean cualquier cuerpo convexo (incluso uno ligeramente asimétrico), la regla se rompe por completo tan pronto como $q$ se vuelve mayor que $n$ . Lo demostraron tomando una esfera perfecta y dándole un pequeño y tembloroso movimiento. Cuando revisaron las matemáticas, el "volumen con sabor" de la esfera temblorosa no se comportó bien; actuó como una curva convexa en lugar de una cóncava, lo que significa que la desigualdad se invirtió. La "regla de oro" fue destrozada.

Pero, ¿y si nos limitamos a formas perfectamente simétricas, como un cubo o una esfera que se ve igual desde todos los ángulos? Tal vez la regla sobreviva allí. Los autores profundizaron más y descubrieron que, incluso para estas formas súper simétricas, la regla sigue fallando si $q$ es demasiado alto, específicamente, si $q$ es mayor que $n + 2$ . Utilizaron un truco ingenioso llamado "reducción de dimensión", imaginando un objeto 3D como un rectángulo plano aplastado en una línea fina. Al hacer esto, convirtieron un complejo problema 3D en un simple rompecabezas 2D de rectángulos. Calcularon que para estos rectángulos, si el número de sabor $Q$ (que se relaciona con $q$ ) es mayor que 4, la desigualdad falla. Traduciendo esto de vuelta al mundo real, esto significa que la regla se rompe para cualquier forma simétrica si $q > n + 2$ .

Sin embargo, la historia no termina en fracaso. Los autores encontraron un "punto ideal" donde la regla sí se cumple.

El caso límite: Demostraron que para formas perfectamente simétricas, la regla funciona exactamente en el punto de ruptura: cuando $q = n + 2$ . Hicieron esto conectando el problema con un concepto clásico de la física llamado "momento de inercia polar" (que mide qué tan difícil es hacer girar una forma). Una desigualdad de hace un siglo de Hadwiger sobre objetos que giran salvó el día, demostrando que la regla se mantiene para este número específico.
El club especial: También encontraron un grupo especial de formas llamadas "cuerpos convexos incondicionales". Estos son formas que son perfectamente simétricas a través de cada eje de coordenadas (como un dado o una caja alineada con la cuadrícula). Para estas formas, la regla funciona para un rango mucho más amplio: desde $q = 0$ hasta $q = n + 1$ . Para probar esto, utilizaron herramientas matemáticas de gran calibre llamadas "fórmulas de Reilly" e "inequidades de Hardy", que son como pruebas de resistencia avanzadas para las formas, comprobando cómo resisten bajo el peso de estas mediciones "con sabor" tan extrañas.

Entonces, ¿cuál es la conclusión? La idea de que la desigualdad de Brunn-Minkowski funciona para todas las formas con cualquier número de sabor $q$ es falsa. El universo de las formas es más frágil de lo que pensábamos. Si giras el dial de sabor demasiado alto ( $q > n$ ), la regla colapsa para las formas generales, e incluso para las simétricas, colapsa si pasas de $n + 2$ . Pero, si te ciñes a las formas "incondicionales" (las alineadas con la cuadrícula) o alcanzas el caso límite exacto de $n + 2$ para las formas simétricas, la regla sobrevive.

Esto no es solo un juego de números. Al averiguar exactamente dónde se mantiene la regla y dónde se rompe, los autores también resolvieron un misterio sobre la unicidad. Demostraron que si conoces la distribución del "volumen con sabor" de estas formas especiales, puedes identificar la forma misma de manera única (salvo por escala). Es como decir: "Si te digo exactamente cómo pesa esta forma a cada distancia desde el centro, puedes decirme exactamente qué forma es". Esto ayuda a los matemáticos a comprender las conexiones profundas y ocultas entre la geometría de las formas y la manera en que distribuyen su masa, demostando que incluso en el mundo abstracto de las matemáticas de alta dimensión, existen límites estrictos para cuánto puede estirarse una forma antes de que las reglas del juego cambien.

Resumen Técnico: La desigualdad de Brunn-Minkowski para las cuermassintegrales duales de orden $q$ con $q > n$

1. Planteamiento del problema y contexto

El artículo investiga la validez de la desigualdad de Brunn-Minkowski para la $q$ -ésima cuermassintegral dual, denotada como $\widetilde{V}_q(K)$ , cuando el índice $q$ excede la dimensión $n$ . La cuermassintegral dual se define para un cuerpo estrella $K$ que contiene el origen como:
$\widetilde{V}_q(K) = \frac{1}{n} \int_{S^{n-1}} \rho_K(u)^q \, du = \frac{q}{n} \int_K |x|^{q-n} \, dx,$
donde $\rho_K$ es la función radial. La cuestión central, planteada por Sadovsky y Zhang [23], es si la desigualdad
$\widetilde{V}_q(K+L)^{1/q} \geq \widetilde{V}_q(K)^{1/q} + \widetilde{V}_q(L)^{1/q}$
se cumple para $q > n$ bajo diversos supuestos de simetría (arbitrarios, simétricos respecto al origen o incondicionales).

Si bien se sabe que la desigualdad se cumple para $0 < q \leq n$ (siendo el caso $q=n$ la clásica desigualdad de Brunn-Minkowski), el comportamiento para $q > n$ permanecía abierto. El trabajo previo de Xu y Yang [28] estableció la invalidez para $q > 2n+1$ en la clase de cuerpos simétricos respecto al origen. Este artículo tiene como objetivo determinar los umbrales agudos de invalidez y establecer resultados positivos en clases geométricas específicas.

2. Metodología

Los autores emplean una combinación de análisis variacional, reducción de dimensión y desigualdades geométricas ponderadas.

2.1. Análisis variacional y segunda variación

El núcleo de los resultados negativos reside en el análisis de la $1/q$ -concavidad local de la medida $\mu_q(K) = \int_K |x|^{q-n} dx$ . Utilizando la fórmula de la segunda variación ponderada (Lema 2.1) derivada de Kolesnikov-Milman [17], los autores prueban la estabilidad de la bola euclídea $B^n_2$ bajo perturbaciones.

Cuerpos arbitrarios: Prueban perturbaciones impares (primeros armónicos esféricos). La segunda variación es positiva (indicando convexidad local y, por tanto, el fallo de la desigualdad) si $q > n$ .
Cuerpos simétricos respecto al origen: Prueban perturbaciones pares. El umbral de estabilidad local se encuentra en $q \leq 2n+1$ , pero se demuestra que esto es insuficiente para la validez global.

2.2. Reducción de dimensión

Para construir contraejemplos globales para cuerpos simétricos respecto al origen, los autores utilizan un argumento de reducción de dimensión. Consideran cuerpos de la forma $K_\epsilon = A \times [-\epsilon, \epsilon]^{n-2}$ , donde $A$ es un cuerpo convexo plano. A medida que $\epsilon \to 0$ , el parámetro $n$ -dimensional $q$ se reduce efectivamente a un parámetro plano $Q = q - n + 2$ .

Mediante el análisis de rectángulos planos, demuestran que la desigualdad falla si $Q > 4$ , lo que corresponde a $q > n + 2$ .
Esta construcción cierra la brecha entre el umbral de estabilidad local y el umbral de fallo global.

2.3. Fórmula de Reilly ponderada singular e desigualdades de Hardy

Para los resultados positivos, particularmente para cuerpos convexos incondicionales, los autores desarrollan una fórmula de Reilly ponderada singular (Proposición 6.5).

Resuelven un problema de Neumann singular para el operador $L_\alpha = \Delta + \alpha \frac{x}{|x|^2} \cdot \nabla$ con peso $|x|^\alpha$ (donde $\alpha = q-n$ ).
Derivan expansiones asintóticas para la solución cerca del origen (Lema 6.3) para manejar la singularidad.
Crucialmente, establecen desigualdades de tipo Hardy de rebanadas de coordenadas (Lemmas 7.1 y 7.3) adaptadas al signo de $\alpha$ . Estas desigualdades controlan los términos desfavorables en la fórmula de Reilly, permitiéndoles probar la no negatividad de un funcional de energía específico $I_\alpha(u)$ para $-n < \alpha \leq 1$ (es decir, $0 < q \leq n+1$ ).

3. Principales contribuciones y resultados

3.1. Agudeza del rango para cuerpos arbitrarios

Teorema 1.3: La desigualdad falla para cuerpos convexos arbitrarios siempre que $q > n$ .

Método: Los autores construyen cuerpos suaves y estrictamente convexos perturbando la bola euclídea con un primer armónico esférico. La segunda variación de $\widetilde{V}_q(K)^{1/q}$ se vuelve positiva, violando la concavidad requerida.

3.2. Contraejemplos para cuerpos simétricos respecto al origen

Teorema 1.4: La desigualdad falla para cuerpos convexos simétricos respecto al origen siempre que $q > n + 2$ .

Método: Utilizando la reducción de dimensión a rectángulos planos, demuestran que para $Q = q - n + 2 > 4$ , la función $t \mapsto \widetilde{V}_q(K_t)^{1/q}$ es localmente convexa en $t=0$ , lo que conduce a una violación estricta de la desigualdad de Brunn-Minkowski. Esto mejora el límite previo de $q > 2n+1$ .

3.3. Resultado positivo para el extremo $q = n + 2$

Teorema 1.5: Para cuerpos convexos simétricos respecto al origen, la desigualdad se cumple en el extremo $q = n + 2$ .

Método: Los autores relacionan $\widetilde{V}_{n+2}(K)$ con el momento de inercia polar $I(K)$ mediante la identidad $I(K) = \frac{n}{n+2} \widetilde{V}_{n+2}(K)$ para cuerpos simétricos respecto al origen. Luego invocan la desigualdad de Hadwiger [10] para el momento de inercia polar, que establece que $I(K+L)^{1/(n+2)} \geq I(K)^{1/(n+2)} + I(L)^{1/(n+2)}$ .

3.4. Rango completo para cuerpos convexos incondicionales

Teorema 1.6: Para cuerpos convexos incondicionales (invariantes bajo reflexiones de coordenadas), la desigualdad se cumple para todo el rango $0 < q \leq n + 1$ .

Método: Esta es la principal contribución técnica del artículo. Al combinar la fórmula de Reilly ponderada singular con las desigualdades de Hardy de rebanadas de coordenadas, prueban la $1/q$ -concavidad local de la medida $\widetilde{V}_q$ para cuerpos incondicionales.
Caso de igualdad: Si $K, L$ son de clase $C^2_+$ , la igualdad se cumple si y solo si $K$ y $L$ son dilataciones el uno del otro.

3.5. Unicidad de las medidas de curvatura duales

Como aplicación, los autores derivan resultados de unicidad para la medida de curvatura dual $(1, q)$ -ésima $\widetilde{C}_{1,q}$ .

Corolario 8.4: Para cuerpos $C^2_+$ incondicionales, si $\widetilde{C}_{1,q}(K, \cdot) = \widetilde{C}_{1,q}(L, \cdot)$ con $0 < q \leq n+1$ , entonces $K=L$ (a menos que $q=1$ , donde son dilataciones).
Corolario 8.5: Para cuerpos $C^2_+$ simétricos respecto al origen, si $\widetilde{C}_{1,n+2}(K, \cdot) = \widetilde{C}_{1,n+2}(L, \cdot)$ , entonces $K=L$ .

4. Significado y afirmaciones

El artículo afirma resolver el Problema 1.2 planteado por Sadovsky y Zhang [23] estableciendo los límites precisos de la desigualdad de Brunn-Minkowski para las cuermassintegrales duales en el régimen $q > n$ .

Refutación de la validez global: Demuestra que la desigualdad no se extiende a $q > n$ para cuerpos generales, ni a $q > n+2$ para cuerpos simétricos respecto al origen, estrechando efectivamente el rango abierto para cuerpos simétricos respecto al origen a $n < q \leq n+2$ .
Conjetura: Los autores proponen la Conjetura 1, sugiriendo que la desigualdad podría cumplirse para cuerpos simétricos respecto al origen en el intervalo restante $n < q < n+2$ .
Caso incondicional: El artículo proporciona una respuesta positiva definitiva para cuerpos incondicionales, extendiendo el rango válido hasta $q = n + 1$ . Esto se logra mediante una adaptación novedosa de la fórmula de Reilly a pesos singulares, una técnica inspirada en Hu-Ivaki [12] pero extendida para cubrir el rango completo $0 < q \leq n+1$ .
Aplicaciones: Los resultados derivan inmediatamente desigualdades de tipo Minkowski y teoremas de unicidad para las medidas de curvatura duales en las clases especificadas, abordando el Problema 9 de Sadovsky y Zhang respecto al caso de igualdad.

El trabajo destaca la delicada interacción entre el índice $q$ , la simetría de los cuerpos y la estructura geométrica (incondicional vs. general), mostrando que aunque la simetría ayuda, no es suficiente para preservar la desigualdad para todo $q > n$ .

Resumen Técnico: La desigualdad de Brunn-Minkowski para las cuermassintegrales duales de orden qqq con q>nq > nq>n