Skip to main content

Theory and Modern Applications

The Relational Translators of the Hyperspherical Functional Matrix


We present the results of theoretical researches of the developed hyperspherical function for the appropriate functional matrix, generalized on the basis of two degrees of freedom, and , and the radius . The precise analysis of the hyperspherical matrix for the field of natural numbers, more specifically the degrees of freedom, leads to forming special translators that connect functions of some hyperspherical and spherical entities, such as point, diameter, circle, cycle, sphere, and solid sphere

1. Introduction

The hypersphere function is a hypothetical function connected to multidimensional space. It belongs to the group of special functions, so its testing is performed on the basis of known functions such as the -gamma, -psi, - beta, anderf- error function. The most significant value is in its generalization from discrete to continuous. In addition, we can move from the scope of natural integers to the set of real and noninteger values. Therefore, there exist conditions both for its graphical interpretation and a more concise analysis. For the development of the hypersphere function theory see Bishop and Whitlock [1], Collins [2], Conway and Sloane [3], Dodd and Coll [4], Hinton [5], Hocking and Young [6], Manning [7], Maunder [8], Neville [9], Rohrmann and Santos [10], Rucker [11], Maeda et al. [12], Sloane [13], Sommerville [14], Wells et al. [15] Nowadays, the research of hyperspherical functions is given both in Euclid's and Riemann's geometry and topology (Riemann's and Poincare's sphere) multidimensional potentials, theory of fluids, nuclear physics, hyperspherical black holes, and so forth.

2. Hypersphere Function with Two Degrees of Freedom

The former results (see [430]) as it is known present two-dimensional (surface-surfs ), respectively, three-dimensional (volume-solids) geometrical entities. In addition to certain generalizations [27], there exists a family of hyperspherical functions that can be presented in the simplest way through the hyperspherical matrix , with two degrees of freedom and (), instead of the former presentation based only on vector approach (on the degree of freedom k). This function is based on the general value of integrals, and so we obtain it's generalized form.

Definition 2.1.

The generalized hyperspherical function is defined by


where is the gamma function.

On this function, we can also perform "motions'' to the lower degrees of freedom by differentiating with respect to the radius , starting from the th, on the basis of recurrence


The example of the spherical functions derivation is shown in Figure 1. The second () degree of freedom is achieved, and it is one level lower than the volume level (). Several fundamental characteristics are connected to the sphere. With its mathematically geometrical description, the greatest number of information is necessary for a solid sphere as a full spherical body. Then we have the surface sphere or surf-sphere, and so forth.

Figure 1
figure 1

Moving through the vector of real surfaces (left column), deducting one degree of freedom k of the surface sphere we obtain the circumference, and for two (degrees) we get the point 2. Moving through the vector of real solids (right column), that is, by deduction of one degree of freedom k from the solid sphere, we obtain a circle (disc), and for two (degrees of freedom), we obtain a line segment or diameter.

The appropriate matrix () is formed on the basis of the general hyperspherical function, and here it gives the concrete values for the selected submatrix () as shown in Figure 2.

Figure 2
figure 2

The submatrix of the function that covers one area of real degrees of freedom ( ) . Also noticeable are the coordinates of six sphere functions (undef. are nondefined, predominantly of singular value, and 0 are zeros of this function).

3. Translators in the Matrix Conversion of Functions

A more generalized relation which would connect every element in the matrix, (Figures 3 and 4) both discrete and/or continual ones, can be defined on the basis of relation (quotient) of two hyperspherical functions, one with increment of arguments dimensions—degrees of freedom (), that is, the assigned one—while the other would be the starting one (the referred one). On the basis of the previous definition, the translator is

Figure 3
figure 3

The position of the reference element and its surrounding in the hypersphere matrix when

Figure 4
figure 4

The example of the position of the referent and assigned element (of the nested HS function in the block-matrix) in the space of the selected hyperspheric block-matrix.


In the previous expression we do not take into consideration the radius increase as a degree of freedom, so . The defining function thus equals


This equation can be expressed in the form


Every matrix element as a referring one can have in total eight elements in its neighbourhood, and it makes nine types of connections (one with itself) in the matrix plane (Figure 3). Considering that two degrees of freedom have a positive or negative increment (in this case integer), the selected submatrix is representative enough from the aspect of the functions conversion in plane with the help of the translator .

Since the accepted increments are threefold , and connections are established only between the two elements, the number of total connections in the representative submatrix is . All relations of this submatrix and the translators that enable those connections can now be summarised in Table 1.

Table 1

4. Generalized Translators of the Hyperspherical Matrix

In this section the extended recurrent operators include one more dimension as a degree of freedom, which is the radius r. If the increment and/or reduction is applied on this argument as well, the translator will get the extended form

Definition 4.1.

The translator is defined with


Since all the three increments can be positive or in symmetrical case negative (in reduction), expression (3.1) is extended and is reduced to relation (4.1), where the differences are the increment values or reduction of the variables and in relation to the referent coordinate (-function) in the matrix. All three variables can be real numbers (). The obtained expression is a more generalized translator, a more generalized functional operator, and in that sense it will be defined as the generalized translator. When, besides the unitary increments of the degree of freedom and , we introduce the radius increment the number of combinations becomes exponential (Table 2), and it is .

Table 2

The schematic presentation of "3D motions'' through the space of block-submatrix and locating the assigned HS function on the basis of translators and the starting hyperspherical function is given in Figure 4.

According to the translator that includes three arguments, and in view of it "covering the field'' of the block-submatrix according to Figure 4, we have the following function:


Examples 4.2.

Depending on which level we observe, the translator can be applied on block-matrix, matrix, or vector relations. The most common is the recurrent operator for the elements of columns' vector. Then, it is usually reduced onto one variable and that is the degree of freedom . If the increment is an integer and , the recurrent relation for any element of the n th column is defined as


If the relation is restricted to , that is, on the vector particular to this degree of freedom and on the increment , the translator can be simplified as


For the unit radius this expression can be reduced to the relation


If we analyze the relation for the vector with the degree of freedom and the increment , the translator now becomes


On the basis of the previous positions and results, we define two recurrent operators for defining the assigned functions

  1. (1)

    for the matrix

  2. (2)

    and for the block-matrix (Figure 3)


As the recurrent operator is generalized, the increments can also be negative (ones) and noninteger; so, for example, for the block matrix recursion, with the selected increments , and , the operator has a more complex structure


5. Conversion of the Basic Spheric Entities

Example 5.1.

All relations among the six real geometrical sphere entities are presented on the basis of the translator . These entities are P-point, D-diameter, C-circumference, A-circle, S-surface, and V-sphere volume, given in Figure 5. In addition to the graph presentation, the relation among these entities can also be a graphical one, as shown in Figure 5.

Figure 5
figure 5

The selected entities (left) and the oriented graph of their mutual connections (right).

6. The Relation of a Point and Real Spherical Entities

A point is a mathematical notion that from the epistemological standpoint has great theoretical and practical meaning. Here, a point is a solid-sphere of which two degrees of freedom of type and one of type are reduced. Of course, a point can be also defined in a different way, which has not been analyzed in the previous procedures. Here these relations are considered separately, and therefore we develop specific translators of the type. On the basis of the established graph, all option relations are shaped. There are in total thirty of them (), and they are presented in Table 3.

Table 3

The conversion solution of the selected entities is given in Table 4.

Table 4

The previous operators can form a relation among six real spherical entities. From a formal standpoint some of them can be shaped as well on the basis of the beta function, if we include the following relation originating from Legendre


The position of the six analyzed coordinates of the real spherical functions can be presented on the surface hyperspherical function 3D (Figure 6, using the software Mathematica).

Figure 6
figure 6

The positions of spherical entities on 3D graphic of the HS function of unit radius.

7. Conclusion

The hyperspherical translators have a specific role in establishing relations among functions of some spherical entities. Meanwhile, their role is also enlarged, because this relation can be analytically expanded to the complex part of the hyperspherical function (matrix). In addition, there can be increments of degrees of freedom with noninteger values. The previous function properties of translator functions are provided thanks to the interpolating and other properties of the gamma function. Functional operators defined in the previously described way can be applied in defining the total dimensional potential of the hyperspherical function in the field of natural numbers (degrees of freedom ). Namely, this potential (dimensional flux) can be defined with the double series:


Here, the translators are applied taking into consideration that every defining function can be presented on the basis of the reference HS function, if we correctly define the recurrent relations both for the series and for the columns of the hyperspherical matrix [27].


  1. Bishop M, Whitlock PA: The equation of state of hard hyperspheres in four and five dimensions. Journal of Chemical Physics 2005,123(1):-3.

    Article  Google Scholar 

  2. Collins GP: The shapes of space. Scientific American 2004,291(1):94-103. 10.1038/scientificamerican0704-94

    Article  MathSciNet  Google Scholar 

  3. Conway JH, Sloane NJA: Sphere Packings, Lattices and Groups, Grundlehren der Mathematischen Wissenschaften. Volume 290. 2nd edition. Springer, New York, NY, USA; 1993:xliv+679.

    Book  Google Scholar 

  4. Dodd J, Coll V: Generalizing the equal area zones property of the sphere. Journal of Geometry 2008,90(1-2):47-55. 10.1007/s00022-008-2015-2

    Article  MATH  MathSciNet  Google Scholar 

  5. Hinton CH: The Fourth Dimension. Health Research, Pomeroy, Wash, USA; 1993.

    Google Scholar 

  6. Hocking JG, Young GS: Topology. Dover, New York, NY, USA; 1988.

    MATH  Google Scholar 

  7. Manning PH: Geometry of Four Dimensions. Phillips Press; 2010.

    Google Scholar 

  8. Maunder CRF: Algebraic Topology. Dover, New York, NY, USA; 1997.

    Google Scholar 

  9. Neville EH: The Fourth Dimension. Cambridge University Press, Cambridge, UK; 1921.

    MATH  Google Scholar 

  10. Rohrmann RD, Santos A: Structure of hard-hypersphere fluids in odd dimensions. Physical Review E 2007.,76(5):

  11. Rucker R: The Fourth Dimension: A Guided Tour of the Higher Universes. Houghton Mifflin, Boston, Mass, USA; 1985:xii+228.

    Google Scholar 

  12. Maeda S, Watanabe Y, Ohno K: A scaled hypersphere interpolation technique for efficient construction of multidimensional potential energy surfaces. Chemical Physics Letters 2005,414(4–6):265-270. 10.1016/j.cplett.2005.08.063

    Article  Google Scholar 

  13. Sloane NJA: Sequences, A072478, A072479, A072345, A072346, A087299, A087300 and A074457. The On-Line Encyclopedia of Integer Sequences

  14. Sommerville DMY: An Introduction to the Geometry of n Dimensions. Dover, New York, NY, USA; 1958:xviii+196.

    MATH  Google Scholar 

  15. Wells D: The Penguin Dictionary of Curious and Interesting Numbers. Penguin Books, Middlesex, UK; 1986.

    Google Scholar 

  16. Freden E: Problems and solutions: solutions: 10207. The American Mathematical Monthly 1993,100(9):882-883. 10.2307/2324678

    Article  MathSciNet  Google Scholar 

  17. Joshi JMC: Random walk over a hypersphere. International Journal of Mathematics and Mathematical Sciences 1985,8(4):683-688. 10.1155/S0161171285000758

    Article  MATH  MathSciNet  Google Scholar 

  18. Kabatiansky AG, Levenshtein IV: Bounds for packings on a sphere and in space. Problemy Peredachi Informatsii 1978,14(1):3-25.

    Google Scholar 

  19. Letić D, Cakić N: Srinivasa Ramanujan, The Prince of Numbers. Computer Library, Belgrade, Serbia; 2010.

    Google Scholar 

  20. Letić D, Cakić N, Davidović B: Mathematical Constants—Exposition in Mathcad. , Belgrade, Serbia; 2010.

    Google Scholar 

  21. Letić D, Davidović B, Berković I, Petrov T: Mathcad 13 in Mathematics and Visualization. Computer Library, Belgrade, Serbia; 2007.

    Google Scholar 

  22. Loskot P, Beaulieu NC: On monotonicity of the hypersphere volume and area. Journal of Geometry 2007,87(1-2):96-98. 10.1007/s00022-007-1891-1

    Article  MATH  MathSciNet  Google Scholar 

  23. Mitrinović SD: An Introduction into Special Functions. Scientific Book, Belgrade, Serbia; 1991.

    Google Scholar 

  24. Sasaki T: Hyperbolic affine hyperspheres. Nagoya Mathematical Journal 1980, 77: 107-123.

    MATH  MathSciNet  Google Scholar 

  25. Tu S-J, Fischbach E: A new geometric probability technique for an N-dimensional sphere and its applications to physics. Mathematical Physics, Mathematical Physics,

  26. Woonchul H, Zhou K: A Short Note on the Volume of Hypersphere.

  27. Group of authors : Three Archimedes' Bodies, edited by D. Letic. Electrotechnical Faculty, Belgrade, Serbia; 2010. Technical Faculty M. Pupin, Zrenjanin

    Google Scholar 




Download references

Author information

Authors and Affiliations


Corresponding author

Correspondence to Nenad Cakic.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Letic, D., Cakic, N. & Davidovic, B. The Relational Translators of the Hyperspherical Functional Matrix. Adv Differ Equ 2010, 261290 (2010).

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • DOI: