Weighted Perimeters and pth Moments of Inertia of Convex Curves and Surfaces

Imagina un alambre de longitud fija, doblado en un lazo cerrado. Si hicieras girar este lazo alrededor de un punto central, ¿cuánta resistencia ofrecería? Esta resistencia, conocida en física como momento de inercia, depende enteramente de cómo se haya dado forma al alambre y de qué tan lejos se encuentran sus diversas partes del centro de rotación. Un lazo que distribuye su masa lejos del centro es más difícil de hacer girar que uno que mantiene su masa cerca. Durante más de un siglo, los matemáticos han estudiado cómo disponer tales lazos para maximizar o minimizar esta resistencia. Un resultado famoso de principios del siglo XX mostró que, si se desea maximizar esta resistencia con un tipo específico de peso, un círculo perfecto centrado en el origen es la mejor forma. Sin embargo, la cuestión de qué forma minimiza esta resistencia, especialmente cuando el alambre debe ser convexo —es decir, que no tiene hendiduras hacia adentro ni esquinas afiladas—, ha seguido siendo un enigma. Este es el territorio explorado por un nuevo estudio que investiga cómo disponer formas convexas para maximizar o minimizar un perímetro ponderado, una medida que combina la longitud del contorno de la forma con la distancia de cada punto de dicho contorno respecto a un punto central.

Los investigadores, trabajando en el mundo abstracto de la geometría, abordaron un problema donde el "peso" aplicado al alambre cambia dependiendo de su distancia al centro. A veces el peso aumenta a medida que te alejas, y otras veces disminuye, volviéndose muy pesado cerca del centro. El equipo primero demostró que para casi cualquier función de peso de este tipo, en cualquier número de dimensiones, siempre existe una forma óptima que minimiza o maximiza esta medida ponderada. Demostraron que estas formas óptimas existen y son bien comportadas, aunque no revelaron inmediatamente qué aspecto tienen esas formas. Esta prueba de existencia es una base crucial, que confirma que la búsqueda matemática de una solución no es en vano.

El estudio luego centró su atención en el caso del espacio bidimensional, donde las formas son curvas planas. Aquí, los investigadores se enfocaron en curvas que poseen un alto grado de simetría, específicamente aquellas que se ven iguales cuando se reflejan a través de dos líneas perpendiculares que se cruzan en el centro. Descubrieron una verdad sorprendente sobre las formas que maximizan el perímetro ponderado cuando el peso es una función decreciente, es decir, cuando el peso es más fuerte cerca del centro. En este escenario, la forma óptima no es un círculo o un cuadrado, sino una "aguja". Esta es una forma degenerada: un segmento de línea recta que ha sido aplanado tan completamente que no tiene área interior, colapsando esencialmente en una línea. Los investigadores demostraron que, entre todas las curvas convexas simétricas, este segmento de línea recta es el ganador único para una amplia familia de pesos, incluyendo aquellos donde el peso cae a medida que la distancia desde el centro aumenta.

Este hallazgo desafía la intuición previa de que la forma óptima podría ser siempre un objeto sólido con un interior. Los autores mostraron que para ciertos tipos de pesos, específicamente aquellos que son altamente singulares cerca del centro, la mejor estrategia es aplanar la forma por completo. También demostraron que para otros tipos de pesos, como aquellos que aumentan con la distancia, las formas óptimas son sólidas y tienen un interior no vacío. El artículo además estableció que, para el caso específico de minimizar el momento de inercia con un peso proporcional al cuadrado de la distancia, la forma óptima es un triángulo equilátero centrado en el origen, confirmando un resultado hallado originalmente hace décadas pero proporcionando una prueba nueva y más simple.

El equipo también exploró qué sucede cuando se relaja la suposición de simetría. Introdujeron una categoría más amplia de formas llamadas "convexas de cuatro cuadrantes", que permite formas que no son perfectamente simétricas pero que mantienen una estructura específica a través de los cuatro cuadrantes del plano. Encontraron que los resultados respecto a que la forma de aguja se mantenga para el problema de maximización siguen siendo aplicables a estas curvas ligeramente menos simétricas. El trabajo se apoya en una técnica matemática sofisticada llamada mayoración, que permite a los investigadores comparar diferentes formas reorganizando sus partes en un orden específico. Al demostrar que un segmento de línea recta es la mejor disposición para un caso más simple y específico, pudieron extender esa lógica a una vasta gama de funciones de peso más complejas de un solo golpe.

En última instancia, el artículo resuelve una pregunta de larga data sobre la geometría de las curvas convexas bajo restricciones ponderadas. Confirma que, si bien las formas sólidas como círculos o triángulos suelen ser la respuesta, existen condiciones específicas donde la forma más eficiente es una línea plana de una sola dimensión. Los autores también identificaron un rango de pesos donde se garantiza que la forma óptima sea un objeto sólido, corrigiendo conjeturas anteriores que sugerían que la degeneración ocurriría para todo tipo de pesos. Su trabajo proporciona una imagen completa de cuándo una forma debe ser un objeto sólido y cuándo debe colapsar en una línea, ofreciando una respuesta definitiva a cómo deben disponerse los cuerpos convexos para optimizar sus contornos ponderados.