REVISTA DE LA ESCUELA DE FÍSICA, UNAH • Vol. IV, No.

1 • 25-28 25

Una demostración del volumen y la medida superficial de

la bola unidad
Marlon Josué Recarte
Universidad Nacional Autónoma de Honduras en el Valle de Sula, mail: recarte27@hotmail.com

Recibido: 06 de Febrero de 2016 / Aceptado: 01 de Mayo de 2016

Resumen

In statistical physics it is necesary express some results using the volume of a hypersphere, which is a generalization
of a sphere for a dimention larger than three. On the other hand, different models of the shape of the universe has
been proposed, particularly some of then consider a curved shape and can be modeled as a hypersphere. In this
paper we focus on obtaining the volume and surface measurement of a hypersphere of unit radius often called unit ball.

Keywords: Hypersphere, unit ball

En fı́sica estadı́stica a menudo se tiene la necesidad de expresar algunos resultados utilizando el volumen
de una hiperesfera, que es una generalización de una esfera para dimensiones mayores a tres. Por otro lado, existen
diversos modelos sobre la forma del universo, particularmente algunos consideran una forma curva y dicha forma
puede ser modelada como una hiperesfera. En este trabajo nos concentramos en obtener el volumen y la medida
superficial de una hiperesfera de radio unitario llamada muchas veces bola unidad.

Palabras claves: Hiperesfera, bola unidad

I. Esfera y bola unidad y

enotemos B d la bola unitaria en el espacio euclı́deo

D Rd , definida como:
n
B d = x = (x1 , x2 . . . , xd ) ∈ Rd : kxk ≤ 1
o x x

donde k · k denota la norma usual euclı́dea z

q
kxk = x21 + · · · + x2d

Denotamos S d−1 la esfera unidad,

n o x y
S d−1 = x ∈ Rd : kxk = 1
Figura 1: Bolas unitarias para d=1,2,3.
Al considerar d = 1 la bola unidad es un intervalo,
para d = 2 se tiene un cı́rculo y para d = 3 una esfera, A. Área superficial y volumen de la bola unidad
ver figura 1.
En la literatura existen diversas pruebas para el cálcu-
lo del volumen y la medida superficial de la bola unidad
(llamada algunas veces la d–esfera). El artı́culo clásico
de Blumenson [3] presenta las coordenadas esféricas n-
dimensionales o coordenadas polares generalizadas (que
presentaremos luego) incluyendo además una deducción
de la medida superficial y el volumen a partir de un cam-
bio de variable en dichas coordenadas. Muller [5] presenta
una prueba del mismo resultado a partir de una rela-
ción de recurrencia. Smith y Vamanamurthy [6] aborda
ese problema utilizando múltiples técnicas de cálculo. La
demostración que presento en este artı́culo utiliza el trun-

REF-UNAH / Vol. 4 - No. 1 / 25-28

 REVISTA DE LA ESCUELA DE FÍSICA, UNAH • Vol. IV, No. 1 • 25-28 26

camiento de un elemento del espacio euclideo, este tipo Retomando la integral inicial, tendremos:
de cambio de variable (junto con las propiedades de las
Z d
funciones Beta y Gamma) es útil en la teorı́a de polino- Y
Vd = dxj
mios ortogonales multivariables para probar relaciones de B d j =1
ortogonalidad (ver [4]) y [2]). Z 1 d
Consideremos la integral sobre la bola unidad, dicha Y d−j
= (1 − yj2 ) 2 dyj
integral representa el volumen de la d-esfera: −1 j =1

Z Z d d Z 1
Y Y d−j
Vd = dV = dxj = (1 − yj2 ) 2 dyj .
Bd Bd j =1 j =1 −1

Asociado con x = (x1 , x2 , · · · , xd ) ∈ Rd para cada j, Al realizar el cambio de variable, 2t = 1 − yj

definimos x(j ) , el truncamiento de x, esto es: x(0) = 0,
d Z 1
Y d−j

x(j ) = (x1 , x2 , · · · , xj ) para 1 ≤ j ≤ d Vd = (1 − yj2 ) 2 dyj

j =1 −1
Nótese que x(d) = x. d Z
Y 1 d−j d−j
= 2d−j +1 t 2 (1 − t) 2 dt
Necesitamos hacer uso de la siguiente fórmula: j =1 0
d d Z 1
Z Z Y Y d−j d−j
f (x)dx = f (x(d−1) , xd ) dx = 2d−j +1 t 2 (1 − t) 2 dt.
Bd Bd j =1 j =1 0

Sea yi ∈ R tales que se cumple La expresión anterior queda en términos la función Beta
q B (a, b) que está definida por:
xi = yi 1 − kx(i−1) k2
Z 1
entonces se verifica que: B (a, b) = ta−1 (1 − t)b−1 dt,
0
 
1 − kx(0) k2 =1 obteniéndose
d d
 
1 − kx(1) k2 =(1 − y12 )(1 − y22 )
 
Y
d−j +1
Y d−j d−j
Vd = 2 B + 1, +1
  2 2
1 − kx(3) k2 =(1 − y12 )(1 − y22 )(1 − y32 ) j =1 j =1

Calcularemos cada producto por separado:

Aseveramos que
d d−1
d
Y Y
  Y 2d−j +1 = 2k + 1 ,
1 − kx(d) k2 = (1 − yi2 ) j =1 k =0
i=1

Supongamos que es válido para i = d − 1 d   d−1  

Y d−j d−j Y k k
d−1 B + 1, +1 = B + 1, + 1 .

2
 Y 2 2 2 2
1 − kx(d−1) k = (1 − yi2 ) j =1 k =0
i=1
h  i Usando la relación entre las funciones beta B (a, b) y
2
= (1 − yd−1 ) 1 − kx(d−2) k2 , gamma Γ(a).
Z ∞
ahora probémoslo para i = d:
Γ (a) = ta−1 e−t dt,
    0
1 − kx(d) k2 = (1 − yd2 ) 1 − kx(d−1) k2
Γ (a) Γ (b)
d−1 B (a, b) = ,
Y Γ (a + b)
= (1 − yd2 ) (1 − yi2 )
i=1 deducimos que
d    
YΓ k
+ 1 Γ k2 + 1
Y
= (1 − yi2 ) d−1
Y 
k k
 d−1
2
B + 1, + 1 =
i=1 2 2 Γ (k + 2)
k =0 k =0
Notemos que:    
+1 Γ k Γ k
dY
2 2
d  d =
Y 1
2
Y d−j
Γ (k )
1 − kx(j−1) k2 = (1 − yj2 ) 2
. k =2
j =1 j =1

REF-UNAH / Vol. 4 - No. 1 / 25-28

 REVISTA DE LA ESCUELA DE FÍSICA, UNAH • Vol. IV, No. 1 • 25-28 27

Al usar la fórmula de duplicación de la función gamma Ahora calcularemos la medida superficial de la bola
(Ver [1]) unidad, σd .

√
    v
k k 1 X  dxn 2 d−1
d−1
Γ Γ = 21−k π Γ(k ),
u
+
Z u Y
2 2 2 σd = 2 t1+ dxj
B d−1 dxi
i=1 j =1
se tiene
    Para calcular la integral anterior basta con notar que
d−1
Y 
k k
 +1
dY Γ 2 Γ 2
k k
B + 1, + 1 =
v
d−1
Γ (k ) X  dxn 2
u
2 2 u 1
k =0 k =2 t1 + =q
dxi 1 + kx(d−1) k2
√   i=1
21−k π Γ k2
+1
dY
=   d−1
Γ k2 + 12 Y
k =2 = (1 − yi2 )−1/2
  i=1
+1
dY +1
dY +1
√ dY Γ k
2
= 21−k π   debido a esto se tiene
k =2 k =2 k =2 Γ k
2 + 1
2 Z 1 d−1
Y 1
d−1
Y d−1−j

+1
dY +1
dY
σd = 2 (1 − yi2 )− 2 (1 − yj2 ) 2 dyj
1 √ −1 i=1 j =1
=   21−k π
Γ d+2
2 k =2 k =2 d−1
YZ 1 d−j−2
=2 (1 − yj2 ) 2 dyj
Es fácil comprobar que j =1 −1

+1
dY d−1
Y La integral anterior es similar a la que se desarrolló
21−k 2k+1 = 1. en el cálculo del volumen Vd , entonces si z = yd−1
k =2 k =0
d−1
YZ 1
Por lo anterior podemos concluir finalmente que d−j−2
σd = 2 (1 − yj2 ) 2 dyj
Z d d j =1 −1
Y π 2
Vd = dxj =   (1) d−2
B d j =1 Γ d+2 1 YZ 1
Z
1 d−2−j
2 =2 (1 − z 2 )− 2 dz (1 − yj2 ) 2 dyj
−1 j =1 −1
En la figura 2 observamos el gráfico del volumen de la
bola unidad para diferentes dimensiones; notemos que el Al usar (1) se obtiene
volumen máximo se obtiene para d = 6.
d−2 d
π 2 2π 2
Al considerar el comportamiento asintótico de la fun- σd = 2π   =   (2)
Γ d2 Γ d2
ción gamma (ver [1]) se tiene que Vd → 0 cuando d −→ ∞.
El gráfico de la medida superficial se muestra en la
figura 3.
5

4 30
Volumen

Medida superficial

3
20

10
1

0 2 4 6 8 10
dimensión d 0
0 2 4 6 8 10
dimensión d
Figura 2: Gráfico del volumén de la bola unidad para dife-
rentes valores de d.
Figura 3: Gráfico de la medida superficial para diferentes
valores de d.

REF-UNAH / Vol. 4 - No. 1 / 25-28

 REVISTA DE LA ESCUELA DE FÍSICA, UNAH • Vol. IV, No. 1 • 25-28 28

B. Coordenadas esféricas generalizadas además Z

Sea x = rξ, ξ ∈ S d−1 .
Se definen las coordenadas σd = dω.
S d−1
esféricas generalizadas como una extensión a las coorde-
nadas polares (d = 2) y las coordenadas esféricas (d = 3) Puede comprobarse que al utilizar las coordenadas
(ver [3]) esféricas generalizadas se obtiene el volumen de la d-esfera
de radio R
x1 = r cos(θd−1 ), d
π2
x2 = r sin(θd−1 ) cos(θd−2 ), V =   Rd .
Γ d+2
2
..
.
xd−1 = r sin(θd−1 ) . . . sin(θ2 ) cos(θ1 ), Al considerar R = 1 se verifica el resultado obtenido
en (1).
xd = r sin(θd−1 ) . . . sin(θ2 ) sin(θ1 ),

con r > 0, 0 ≤ θ1 ≤ 2π, 0 ≤ θi ≤ π para 2 ≤ i ≤ d − 2.

Referencias
Vale la pena comentar que las definiciones para las
[1] M. ABRAMOWITZ and I. STEGUN. Handbook of
coordenadas esféricas generalizadas también se pueden
Mathematical functions, 9th. ed. Dover Publ, New
expresar como:
York, 1970.
q
xj = r2 − kx(j−1) k2 cos(θd−j )
[2] K. ATKINSON and W. HAN. Spherical Harmonics
para j = 1, . . . , d − 1. and Approximations on the Unit Sphere: An Intro-
duction. Lecture Notes in Mathematics, New York,
Puede demostrarse que el Jacobiano de esta transfor- 2012.
mación es igual a [3] L. E. BLUMENSON. A derivation of n–dimentional
spherical coordinates. The American Mathematical
d−2 Monthly. 67, pages 63–66, January 1960.
Y
d−j−1
J = rn−1 sin θd−j .
j =1
[4] F. DAI and Y. XU. Approximation Theory and Har-
Nótese que monic Analysis on Spheres and Balls. Springer Mono-
Z graphs in Mathematics, New York, 2013.
Vd = rn−1 drdω,
Bd [5] C. MULLER. Spherical Harmonics. Springer-Verlag,
Berlin, 1966.
donde
d−2 [6] D. SMITH and M. VAMANAMURTHY. How small
Y
d−j−1
dω = sin θd−j dθ1 dθ2 · · · dθd−1 . is a unit ball? Mathematics Magazine, 62(2):101–107,
j =1 1989.

REF-UNAH / Vol. 4 - No. 1 / 25-28