AC 5 Volumen de La Hiperesfera
AC 5 Volumen de La Hiperesfera
AC 5 Volumen de La Hiperesfera
Test
Tecnológico de Monterrey
Martes, 24 de Septiembre
Introducción al problema
En la Mecánica Estadı́stica frecuentemente necesitamos conocer el volumen de una hiperes-
fera en M dimensiones. En este problema lo vamos a calcular. A continuación, se describen las
instrucciones:
Parte 3: Para calcular vamos a integrar una función que depende solamente del radio ge-
neralizado en M dimensiones, no de las coordenadas angulares generalizadas. Una función
conveniente (¿por qué?) para este propósito es la siguiente:
Mostrar que:
Z ∞
f (x1 , . . . , xM ) dx1 . . . dxM = π M/2 (3)
−∞
Parte 4: Expresar la integral (3) del inciso (3) en coordenadas esféricas generalizadas. Su-
gerencia: Ya que VM = RM CM , un diferencial de volumen correspondiente a un cascarón
ubicado entre los radios R y R + dR se puede expresar como dVM = ∂V ∂R dR.
M
Parte 6: Igualar las expresiones de los incisos (3) y (5) para calcular CM . Usar la función Γ.
Indicaciones adicionales
Tu solución debe seguir todos y cada uno de los pasos antes mencionados. Debes demostrar que
sabes hacer cálculos matemáticos, como estas integrales sencillas. Si requieres hacer algún cambio
de variable, indı́calo claramente y describe con palabras tus procedimientos, es decir, argumenta
por qué haces tal o cual paso.
Imagina que le estás explicando a alguien de tercer semestre tu procedimiento, pero de forma
escrita. NO SE ACEPTA QUE HAGAS TODOS LOS DESARROLLOS MATEMÁTICOS Y AL
FINAL O AL INICIO DESCRIBAS LOS PASOS. ESO NO ES PROFESIONAL, ESO NO ES DE
UN ALUMNO DE 5º SEMESTRE.
1
Hiperesferas en M dimensiones Test
La expresión antes mostrada es una generalización de la idea clásica que tenemos sobre el
volumen de una esfera en 3 dimensiones pero extrapolado a M dimensiones. La integral se toma
sobre todas las variables cartesianas que satisfacen la condición de estar dentro de una región
esférica de radio R.
Interpretación fı́sica
Este es un concepto importante donde trabajaremos con configuraciones en espacios de muchas
dimensiones. Un ejemplo tı́pico es el espacio de fase de un sistema con muchas partı́culas, donde
cada partı́cula añade tres dimensiones adicionales a dicho espacio, una idea que estudiamos en
cuarto semestre, en la clase teórica de Mecánica Clásica.
En M dimensiones, la suma de los cuadrados de las coordenadas x21 + x22 + · · · + x2M ≤ R2
representa una superficie de igual radio en ese espacio, similar a cómo en 3D, la condición x2 +
y 2 + z 2 = R2 define la superficie de una esfera.
Motivación matemática
En nuestro intento de ver el problema desde una vista más matemática utilizamos la geometrı́a
multivariada y, por tanto, análisis de sistemas complejos. El volumen de la hiperesfera nos permitirá
calcular cantidades relacionadas con el espacio disponible en configuraciones de alta dimensionali-
dad.
La integral múltiple que define el volumen en coordenadas cartesianas puede ser complicada
de evaluar directamente. Sin embargo, durante el desarrollo de cada uno de los puntos propues-
tos por esta actividad, la expresión (1) será transformada a coordenadas esféricas generalizadas,
permitiéndonos un manejo más ’natural’ en los cálculos.
2
Hiperesferas en M dimensiones Test
Parte 2: Demostración de VM = RM CM
Nuestro objetivo es demostrar que el volumen VM de una hiperesfera de radio R en M dimen-
siones se puede expresar como:
VM = RM CM
donde CM es el volumen de la hiperesfera unitaria en M dimensiones (es decir, una hiperesfera
de radio 1).
Esta integral representa el volumen del conjunto de puntos (x1 , x2 , . . . , xM ) que satisfacen x21 +
x22 + · · · + x2M ≤ R2 .
Cambio de variables
Para relacionar VM con CM , realizaremos un cambio de variables que normalice la hiperesfera
de radio R a una hiperesfera unitaria. Definimos:
xi
yi =para i = 1, 2, . . . , M (5)
R
Lo que logramos con este cambio de variables es esencialmente una transformación de escala
que ’encoge’ la hiperesfera de radio R a una hiperesfera de radio 1, esto al eliminar dividiendo por
el valor del radio R a toda componente correspondiente a cada una de las M dimensiones. Puedes
observar como diversos autores realizan este mismo procedimiento como en [5, 11].
3
Hiperesferas en M dimensiones Test
Definición del jacobiano Para un cambio de variables de M dimensiones, donde las variables
originales xi son funciones de las nuevas variables yj , el jacobiano J se define como:
∂(x1 , x2 , . . . , xM ) ∂xi
J= = det (6)
∂(y1 , y2 , . . . , yM ) ∂yj
Es decir, J es el determinante de la matriz jacobiana J cuyos elementos son las derivadas
∂xi
parciales ∂y j
.
∂xi
Cálculo de las derivadas parciales Necesitamos calcular las derivadas parciales ∂yj para todos
los valores de i y j.
Dado que xi depende únicamente de yi (no hay dependencia de yj para j ̸= i), tenemos:
(
∂
∂xi (Ryi ) = R si i = j
= ∂yj (8)
∂yj 0 si i ̸= j
Esto se debe a que:
4
Hiperesferas en M dimensiones Test
R 0 ... 0
0 R ... 0
J=. . . (10)
..
.. .. .. .
0 0 ... R
Esta es una matriz diagonal con R en cada entrada de la diagonal principal y ceros en todas
las demás posiciones.
No hay contribución al determinante de los elementos fuera de la diagonal, ya que son ceros.
dx1 dx2 . . . dxM = J dy1 dy2 . . . dyM = RM dy1 dy2 . . . dyM (12)
Esto significa que al escalar cada coordenada xi por R, el volumen elemental se escala por
RM , lo cual es consistente con la idea de que el volumen en M dimensiones escala con la M -ésima
potencia del factor de escala lineal. Para leer un poco más acerca del jacobiano puedes recurrir a
los siguientes recursos [1, 3, 8]
Transformación de la integral
La integral original se transforma utilizando el cambio de variables y el jacobiano:
Z
VM = dx1 dx2 . . . dxM (13)
x21 +···+x2M ≤R2
Z
∂(x1 , x2 , . . . , xM )
= dy1 dy2 . . . dyM (14)
y12 +···+yM
2 ≤1 ∂(y1 , y2 , . . . , yM )
Z
= RM dy1 dy2 . . . dyM (15)
y12 +···+yM
2 ≤1
Z
= RM dy1 dy2 . . . dyM (16)
y12 +···+yM
2 ≤1
5
Hiperesferas en M dimensiones Test
Identificación con CM
Reconocemos que la integral:
Z
CM = dy1 dy2 . . . dyM
2 ≤1
y12 +y22 +···+yM
Ejemplo numérico
Para ilustrar esta relación utilizando información con la que ya estamos familiarizados, consi-
deremos el caso de M = 2:
El volumen de la hiperesfera unitaria en 2D (el área de un cı́rculo de radio 1) es:
C2 = π(1)2 = π
Entonces, el volumen de un cı́rculo de radio R es:
V 2 = R 2 C2 = R 2 π
Lo cual coincide con la fórmula conocida para el área de un cı́rculo.
Ahora, para un segundo ejemplo que es fácil de comprobar con ayuda de una tabla básica de
geometrı́a o, para los más generales, la realización de una clásica integral triple en coordenadas
esféricas, consideraremos el caso de M = 3:
El volumen de la hiperesfera unitaria en 3D (el volumen de una esfera de radio 1) es:
4π
C3 =
3
Entonces, el volumen de una esfera de radio R es:
6
Hiperesferas en M dimensiones Test
4π 3
V3 = R3 C2 = R
3
Lo cual coincide con la fórmula conocida para el volumen de una esfera para cualquier radio.
Habiendo realizado todo esto podemos decir que demostramos que el volumen de una hiperesfera
en M dimensiones es VM = RM CM , donde CM es el volumen de la hiperesfera unitaria.
3. Facilidad para manejar lı́mites infinitos: La función f decrece rápidamente a cero cuando
xi → ±∞, lo que asegura la convergencia de la integral en el intervalo de −∞ a ∞.
7
Hiperesferas en M dimensiones Test
Z ∞ Z ∞ Z ∞
2 2 2
I= e−x1 dx1 e−x2 dx2 · · · e−xM dxM (19)
−∞ −∞ −∞
M Z ∞
−x2i
Y
= e dxi (20)
i=1 −∞
Cambio a coordenadas polares Para evaluar esta integral doble, cambiamos a coordenadas
polares en el plano (x, y):
x = r cos θ (23)
y = r sin θ (24)
∂(x, y)
dx dy = dr dθ = r dr dθ (25)
∂(r, θ)
8
Hiperesferas en M dimensiones Test
√
1
I12 = 2π = π =⇒ I1 = π (29)
2
Interpretación geométrica
La integral I representa el volumen bajo la superficie definida por f (x1 , x2 , . . . , xM ) en todo el
espacio M -dimensional. El resultado π M/2 es una extensión natural del resultado unidimensional a
múltiples dimensiones.
9
Hiperesferas en M dimensiones Test
x1 = r cos ϕ1 (32)
x2 = r sin ϕ1 cos ϕ2 (33)
x3 = r sin ϕ1 sin ϕ2 cos ϕ3 (34)
..
. (35)
xM −1 = r sin ϕ1 sin ϕ2 . . . sin ϕM −2 cos ϕM −1 (36)
xM = r sin ϕ1 sin ϕ2 . . . sin ϕM −2 sin ϕM −1 (37)
El elemento de volumen en coordenadas esféricas es:
M −1
!
Y
dx1 dx2 . . . dxM = rM −1 sinM −k−1 ϕk dr dϕ1 dϕ2 . . . dϕM −1 (38)
k=1
1
rM −1 dr = u(M −1)/2−1 du (43)
2Z
1 ∞ −u (M −1)/2
=⇒ R = e u du (44)
2 0
10
Hiperesferas en M dimensiones Test
Paso 5: Cálculo de SM
Sabemos que el volumen de la hiperesfera unitaria en M dimensiones es:
2π M/2
Vunidad = (47)
MΓ M
2
Y la superficie de la hiperesfera unitaria es:
1
SM = M Vunidad = 2π M/2 M
(48)
Γ 2
I = SM × R (49)
!
1 1 M
= 2π M/2 M
Γ (50)
Γ 2
2 2
= π M/2 (51)
Lo cual coincide con el resultado obtenido anteriormente mediante la separación de variables.
∂VM
dVM = dR = M RM −1 CM dR (53)
∂R
11
Hiperesferas en M dimensiones Test
x1 = r cos θ1 (54)
x2 = r sin θ1 cos θ2 (55)
x3 = r sin θ1 sin θ2 cos θ3 (56)
..
. (57)
xM −1 = r sin θ1 sin θ2 . . . sin θM −2 cos θM −1 (58)
xM = r sin θ1 sin θ2 . . . sin θM −2 sin θM −1 (59)
∂(x1 , x2 , . . . , xM )
dV = dr dθ1 dθ2 . . . dθM −1
∂(r, θ1 , θ2 , . . . , θM −1 )
Este determinante resulta en:
M −2
!
θk (sin θM −1 )0 dr dθ1 dθ2 . . . dθM −1
Y
M −1 M −k−1
dV = r sin (60)
k=1
Notemos que (sin θM −1 )0 = 1, ya que en el último término no aparece la función seno elevado
a ninguna potencia.
dV = r2 sin θ dr dθ dϕ
12
Hiperesferas en M dimensiones Test
Integral radial:
Z ∞
2
Ir = e−r rM −1 dr (63)
0
Integral angular:
Z
SM = dΩM (64)
ΩM
I = Ir · S M (65)
2π M/2
SM = (66)
Γ M
2
13
Hiperesferas en M dimensiones Test
VM = RM CM (67)
El diferencial de volumen correspondiente a un cascarón esférico entre los radios R y R + dR
es:
dVM
dVM = dR = M RM −1 CM dR (68)
dR
dV = rM −1 dr · dΩM (69)
Al integrar dΩM sobre todas las variables angulares, obtenemos SM :
Z
dΩM = SM (70)
ΩM
dV = rM −1 dr · SM (71)
dVM = dV =⇒ M RM −1 CM dR = rM −1 dr · SM (72)
Observando que R = r y dR = dr, obtenemos:
M CM = SM (73)
Esta relación nos permite expresar CM en términos de SM :
SM
CM = (74)
M
I = Ir · M C M (76)
14
Hiperesferas en M dimensiones Test
du
u = r2 =⇒ du = 2rdr =⇒ rdr = (77)
2
Entonces, rM −1 dr = rM −2 (rdr) = 12 u(M −2)/2 du
Sustituyendo en Ir :
Z ∞ du
−u (M −2)/2
Ir = e u (78)
u=0 2
Z ∞
1
= e−u u(M/2)−1 du (79)
2 0
1 M
= Γ (80)
2 2
Expresión completa de I
Sustituyendo Ir en la ecuación (76):
1 M
I= Γ · M CM (82)
2 2
M M
= CM Γ (83)
2 2
Conclusión de la Parte 4
Hemos logrado expresar la integral I en términos de CM , M y la función Gamma:
M M
I= CM Γ (84)
2 2
Este resultado es crucial, ya que nos permite relacionar la integral calculada en la Parte 3 con
CM , lo que nos llevará a determinar CM explı́citamente en las siguientes dos secciones faltantes
correspondientes a la parte cuatro y cinco. Una vez más, te recuerdo que puedes leer más acerca
de la función gamma en los siguientes recursos [1, 3, 8].
15
Hiperesferas en M dimensiones Test
I = π M/2 (86)
Nuestro objetivo en esta sección es igualar estas dos expresiones de I para resolver CM en
términos de π, M y la función Gamma.
Despeje de CM
Despejamos CM de la ecuación (87):
2 π M/2
CM = (88)
MΓ M
2
2π M/2
CM = (89)
MΓ M
2
Este resultado es fundamental, ya que establece una conexión directa entre el volumen de la
hiperesfera unitaria y la función Gamma, permitiendo calcular CM para cualquier valor de M .
16
Hiperesferas en M dimensiones Test
Caso M = 1
1
√
La función Gamma tiene el valor Γ 2 = π. Sustituyendo en la ecuación (89):
2π 1/2
C1 = (90)
1 · Γ 21
√
2 π
= √ (91)
1· π
=2 (92)
Esto es consistente con el hecho de que el ’volumen’ de una hiperesfera unitaria en una dimensión
(un intervalo de longitud) es 2.
Caso M = 2
La función Gamma tiene el valor Γ(1) = 1. Sustituyendo en la ecuación (89):
2π 1
C2 = (93)
2 · Γ(1)
2π
= (94)
2·1
=π (95)
Caso M = 3
√
3
π
La función Gamma tiene el valor Γ 2 = 2 . Sustituyendo en la ecuación (89):
2π 3/2
C3 = (96)
3 · Γ 23
2π 3/2
= √ (97)
3 · 2π
2π 3/2 · 2
= √ (98)
3 π
4π 3/2
= √ (99)
3 π
4π (3/2)−(1/2)
= (100)
3
4π 1
= (101)
3
4π
= (102)
3
Este es el volumen de una esfera unitaria en tres dimensiones, lo que confirma la validez de
nuestra fórmula.
17
Hiperesferas en M dimensiones Test
Con esta corroboracion contra valores que ya conocemos, podemos decir que ha quedado de-
mostrado que al igualar las dos expresiones de I, podemos obtener una fórmula general para CM
en términos de π, M y la función Gamma.
2π M/2
CM = (103)
MΓ M
2
Esta fórmula nos permite calcular el volumen de la hiperesfera unitaria en cualquier dimensión
M.
Propiedades relevantes:
Γ(z + 1) = zΓ(z).
18
Hiperesferas en M dimensiones Test
2π 4/2
C4 = (106)
4 · Γ(2)
2π 2
= (107)
4·1
π2
= (108)
2
π2
El volumen de una hiperesfera unitaria en cuatro dimensiones es 2 .
Igualado las expresiones de I obtenidas por dos métodos diferentes para resolver CM .
Verificado que nuestros resultados son coherentes con casos conocidos en dimensiones bajas.
Con esta primera recapitulación y habiendo utilizado una vez nuestra expresión para la cuarta
dimensión hemos completado con éxito el cálculo de CM utilizando la función Gamma.
19
Hiperesferas en M dimensiones Test
Caso M = 1
√
2π 1/2 2 π
C1 = = √ =2
1 · Γ 12 π
V1 = R1 C1 = 2R
Caso M = 2
2π 1 2π
C2 = = =π
2 · Γ(1) 2·1
V2 = R2 C2 = πR2
Caso M = 3
2π 3/2 2π 3/2 4π 1 4π
C3 = 3
= √ = =
3·Γ 2 3· 2 π 3 3
4
V3 = R3 C3 = πR3
3
Este es el volumen de una esfera en tres dimensiones, coincidiendo con la fórmula clásica.
20
Hiperesferas en M dimensiones Test
Caso M = 4
2π 2 2π 2 π2
C4 = = =
4 · Γ(2) 4·1 2
2
π 4
V4 = R4 C4 = R
2
Este es el volumen de una hiperesfera en cuatro dimensiones. Aunque menos familiar, este
resultado es consistente con las fórmulas obtenidas.
Volumen
5
Volulemes mmáximos
Volumen de la hiperesfera unitaria
0
5 10 15 20
Dimensiones (M)
Figura 1: Evolución del volumen de una hiperesfera unitaria (R = 1) en función del número de
dimensiones M . En este gráfico, las tres lı́neas verticales resaltan tres valores, estos pertenecen a
los tres volúmenes más altos para las hiperesferas donde, se puede observar claramente que el valor
del volumen máximo de una hiperesfera se da en la dimensión cinco, el hecho de que conforme
aumentan las dimensiones el volumen decae tendiendo a cero será discutido más adelante. Gráfica
dada por elaboración propia.
using SpecialFunctions
using Plots
pgfplotsx()
21
Hiperesferas en M dimensiones Test
function volumen_hiperesfera(M)
return (2 * pi^(M / 2)) / (M * gamma(M / 2))
end
# Rango de dimensiones
M_values = 1:20
volumes = [volumen_hiperesfera(M) for M in M_values]
savefig("volumen_hiperesfera.pdf")
Importamos las librerı́as SpecialFunctions para acceder a la función Gamma y Plots para
generar la gráfica. La función pgfplotsx() se utiliza para que las gráficas sean compatibles
con LATEX.
Dimensión Volumen
1 2.0
2 3.141592653589793
3 4.188790204786391
4 4.934802200544679
22
Hiperesferas en M dimensiones Test
5 5.263789013914324
6 5.167712780049969
7 4.724765970331401
8 4.058712126416768
9 3.2985089027387065
10 2.550164039877345
11 1.8841038793898997
12 1.3352627688545893
13 0.9106287547832835
14 0.5992645293207919
15 0.3814432808233041
16 0.2353306303588932
17 0.14098110691713998
18 0.08214588661112819
19 0.04662210680255007
20 0.025806891390014044
2π M/2
CM =
MΓ M
2
Máximo del volumen: Debido a esta competencia, el volumen alcanza un máximo alrededor
de M = 5 y luego disminuye.
Disminución
en altas dimensiones: En dimensiones muy altas, el término en el denomi-
nador Γ M
2 domina, haciendo que el volumen tienda a cero.
23
Hiperesferas en M dimensiones Test
Analogı́a: Imaginemos una esfera dentro de un cubo en tres dimensiones. El volumen de la esfera
es menor que el del cubo, pero ocupa una porción significativa. Al aumentar las dimensiones, la
esfera (hiperesfera) ocupa una porción cada vez más pequeña del hipercubo, debido a la creciente
’lejanı́a’ de las esquinas en el espacio multidimensional.
Estas interpretaciones tomaron base en el video divulgativo [7].
24
Hiperesferas en M dimensiones Test
Referencias
[1] George B. Arfken and Hans J. Weber. Mathematical Methods for Physicists. Academic Press,
7th edition, 2012.
[3] Mary L. Boas. Mathematical Methods in the Physical Sciences. John Wiley & Sons, 3rd edition,
2006.
[7] Mates Mike. Cómo ver una esfera en 5d. YouTube, 2018. Accessed: 2024-09-23.
[8] K. F. Riley, M. P. Hobson, and S. J. Bence. Mathematical Methods for Physics and Engineering.
Cambridge University Press, 3rd edition, 2006.
[9] L. M. Rozman. Surface area and volume of the n-dimensional sphere. https://www.phys.
uconn.edu/~rozman/Courses/P2400_17S/downloads/nsphere.pdf, 2017.
25