Más concretamente, ¿puede una 2manifold compacta cerrada orientable incrustada en $\mathbb{R}^3$ hasta una isometría, identificarse unívocamente por su superficie y el volumen que encierra? A la inversa, ¿puede darse un contraejemplo para refutar esta afirmación?
En la respuesta a un pregunta anterior relacionados con la desigualdad isoperimétrica una prueba de la afirmación de que "la esfera es la única superficie cerrada en $\mathbb{R}^3$ que minimice la relación superficie/volumen". Eso y el comienzo de esta entrada en Desigualdad de Brunn-Minkowski sobre Terence Tao Novedades me despertó la curiosidad por saber si existen (o no) restricciones más estrictas similares a la desigualdad isoperimétrica.
Como primer paso para construir un contraejemplo, examiné el caso sencillo de un cubo rectangular con la misma superficie y volumen que un cubo. Terminé con la siguiente ecuación: $$ (\underbrace{a b c}_{volume})^\frac{2}{3} = \frac{1}{6}\times\underbrace{(2ab+2bc+2ac)}_{\text{surface area}}\,, $$ donde $a$ , $b$ y $c$ son las dimensiones del cubo rectangular. (Para un cubo de la longitud lateral $d$ , $(d^3)^{2/3}=\frac{1}{6}\,6\,d^2$ de ahí la ecuación anterior). No tengo ni idea de cómo proceder con la búsqueda de cualquier solución definida positiva para el problema anterior. Supongo que se puede simplificar invocando el escalado (isótropo) para fijar una de las dimensiones del cubo rectangular en $1$ y la siguiente ecuación: $$ (a b)^2 = \left(\frac{2}{6}\right)^3(ab+b+a)^3\,. $$
0 votos
Dado que un cubo de lado $d$ tiene volumen $d^3$ y superficie $6d^2$ ¿no debería ser tu primera ecuación simplemente $(abc)^{2/3} = 2ab + 2bc + 2ac$ ? Simplificando la segunda ecuación a $(ab)^2 = 8(ab + b + a)^3$ .
0 votos
Una dimensión más abajo, observe que un triángulo equilátero de lado $a$ tendrá el mismo perímetro y área que cualquier número de rectángulos. Obtienes un cuadrático para resolver y creo que el problema tendrá infinitas soluciones.
0 votos
OK, en tu fórmula final, observa que $(ab + b + a)^3$ tiene todos los coeficientes positivos, y tiene un $a^2b^2$ con un coeficiente de al menos $1$ . Esto significa que el lado derecho es estrictamente mayor que $(ab)^2$ . Así que no hay solución con estas formas particulares. Inspirado por la sugerencia de Ted, tal vez tratar de comparar un tetraedro regular con un cubo o cubo rectangular?
0 votos
@Reese, ¡Gracias por el comentario! Acabo de corregirlo.
0 votos
@Ted Shifrin, buen punto. Debería haberlo pensado.