- Open Access
Orthogonal and diagonal dimension fluxes of hyperspherical function
Advances in Difference Equations volume 2012, Article number: 22 (2012)
In this paper, we present the theoretical research results of certain characteristics of the generalized hyperspherical function with two degrees of freedom as independent dimensions. Here, we primarily give the answers to the quantification of dimensional potentials (fluxes) of this function in the domain of natural numbers. In addition, we also give the solutions to continual fluxes of separate contour hyperspherical (HS) functions. The symbolical evaluation and numerical verification of the values of series and integrals are realized using MathCAD Professional and Mathematica.
MSC 2010: 51M04; 33E99.
The hypersphere function is a hypothetical function related to multi-dimensional space (see [1–3]). The most important aspect of this function is its connection to all functions that describe the properties of spherical entities: points, diameter, circumference, circle, surface, and volume of a sphere. The second property is the generalization of these functions from discrete to continuous. It belongs to the group of special functions, so its testing is being performed on the basis of known functions such as gamma (Γ), psi (ψ), and the like, so that its generalized, explicit form is the following .
Definition 1.1. The hyperspherical function with two degrees of freedom k and n is defined as
where Γ(z) is the gamma function.
Using the fundamental properties of the gamma function, we advance from the domain of the natural values analytically to the set of real values for which we form the conditions for both its graphical interpretation and a more concise mathematical analysis. It is developed on the basis of two degrees of freedom k and n as vector dimensions, in addition to radius r, as an implied degree of freedom for every hypersphere. The dominant theorem is the one that relates to the recurrent property of this function .
It implies that the vectors on the left (n = 2, 1, 0, -1, -2,...) of the matrix M[HS] kxn (1.3) are obtained on the base of the reverent vector (n = 3) deduction, and the vectors on the right (n = 4, 5, 6, 7, 8,...) on the base of integrals by radius r .
For the development of the hyperspherical functions theory see Bishop , Conway , Dodd and Coll , Hinton , Hocking and Young , Manning , Maunder , Neville , Rohrmann and Santos , Satoshi et al. , Sloane , Rucker , Sommerville , Weels , Joshi and Sadan , Kabatiansky , Letić and all , Loskot and Norman , Sasaki , Tu and Fischbach , Woonchul and Zhou , and for its testing, see Ramanujan and Hardy . Today the research of hyperspherical functions is represented both in Euclid's and Riemann's geometries and topologies (Riemann's and Poincare's spheres, multidimensional potentials, theory of fluids, atomic physics, hyperspherical black holes, so on) (Figures 1, 2).
2. Dimensional potentials--the fluxes of HS function
2.1. Vertical dimensional flux of hypersphere function
Definition 2.1 . The discrete dimensional potential or the hypersphere function flux is the sum of all separate functions in the (sub)matrix of this function that we expand for integer or real degrees of freedom (1.3).
Formally, this flux can be quantified by twofold series that covers this area of the HS function. The first phase is to define the value of infinite series of functions classified in columns (vectors) of the submatrix M[HS] kxn (k, n ∈N). This is also the definition of vertical dimensional fluxes of HS function. The first value to be calculated relates to the fourth columns (n = 3) of this submatrix (1.3). From this, we obtain
Freden  has precisely defined this series with the value
where erf(z) is an error function. When k is even (0,2,4,...), respectively, odd (1,3,5,...), that series can be classified as dichotomous, so we obtain two complementary series
Consequently, Freden's result  can be presented in the form of series with even (k = 2b) and odd members (k = 2b+1, where b ∈N). In this sense we get
On the base of Freden's solution (2.1), as a starting point and applying the recurrent relations (1.2), we get values for lower degrees of freedom (n < 3). We connect the sphere hypervolume (n = 3) with its hypersurface (n = 2). In this sense a new vector flux follows
For hypersphere (n = 1), a series is obtained in view of the previous, therefore
For n = 0, the series value is found on the basic of deducing, so it follows that
For degrees of freedom higher than n = 3, series are found by inverse operations, i.e., by recurrent relation in view of integrating along radius r. Consequently,
so for the fourth dimension the following integral form is applied
This property refers also to the complementary dichotomous hyperspherical series. In that case, we have for even members
So for the fourth dimension an integral form with imaginary error function is obained using erf(z) = -ierf(iz).
After the partial integration using we obtain the integral for "odd" series
where and . The addend with the integral on the right side is analytically solvable and it amounts to, e.g., the series with "b" members (or as a series with the incomplete gamma function). In that sense, the value of the series with even numbers is
while the series for odd numbers is defined as
So, the analytical values of these dichotomous series are
2.2. Integral solvability on the base of the incomplete gamma function
The flux for n = 3 is the easiest one to solve, and it represents the base for calculating fluxes of higher degrees of freedom (n > 0), through integration of previously obtained results. In that sense, this procedure is possible by using the series where the incomplete gamma function. The second integral (2.2) is reduced to known terms, and one among them is 
Integral in its definite form is expressed as
While the incomplete gamma function is in general case equal to . It is obvious that the two obtained series with odd members are equivalent to the following
Defining the series for n = 5 is realized by integrating the expressions
The first integral on the right side of (2.3) is solved on the bases of the known equality , where . Thus, the integral is obtained as
However, a simpler way is to use both even and odd dichotomous series. Now, we obtain
The sum of results on the base of the integral value and one series is
or with two complementary series
The dichotomous series for n = 6 is
Note: Integration, similar as in the previous cases, is applied with certain conditions, so we have, e.g., , if -1 < 2Re(b) + 3 < -1^b ≠ -1^r = ∞. If the conditions are not met, this integral is indefinite. Some values of these discrete and continuous fluxes (for r = 1) are given in Table 1.
Suppose that the values of the vector fluxes decline with the increase of the degree of freedom n. The dimensional fluxes can be studied as well for the complex part. So, for example, with the recurrence we get the series values for the negative degree of freedom n = -2, as .
2.3. Fluxes on the base of hypersphere matrix series
The discrete dimensional fluxes can be calculated as well "horizontally", i.e., by adding function values along the M[HS] kxn submatrix series. For example, by expanding the series for k = 3, the flux would contain the following members
Some values of discrete and continual fluxes, (for r = 1), are given in Table 2.
2.4. Some continuous fluxes
The distribution trend of vector fluxes is increasing, followed by asymptotic decrease with linear growth of degree of freedom n. From the standpoint of functional analysis, the most interesting series of the matrix M[HS] k, n is the one that relates to the degrees of freedom k = 2 and k = 3. The first series includes the known functions for the circumference (2πr) and the surface of circle (πr2). The members of the second series are the surface functions (4πr2) and sphere volume (). The same series are interesting as well for continuous fluxes. The continuous natural flux for the hypersphere surface is analyzed on the base of integrals, instead of series. This integral is specific, because its subintegral function is the reciprocal gamma function. Its value, as it is known, is equal to the value of Fransen-Robinson constant 
The integral value of the flux in question is now or, namely, for unit radius
Regarding the continuous dimension n, a more general dimensional volume hypersphere flux follows on the base of Ramanujan-Hardy's integral .
Ramanujan defined this integral and Hardy "deepened" it analytically. In that sense, the previous expression can be applied on flux calculation, as
The integral can be defined as the difference of series and integral with the value (for r = 1),
2.5. Vector flux series
Total dimensional flux of the degree of freedom in the domain of natural numbers is obtained as the result of twofold amount by which integer values of hyperspherical function HS(k,n,r), (k, n, r ≥ 0) are respected. This twofold series has to be convergent, and this property is in the function of hypersphere radius. As usual, calculating of total discrete flux is being performed with its unit value and the convergence is in that case provided, taking into consideration that the unit series on that condition are convergent. The flux can be considered also for each column M[HS] k, n of the matrix, separately. So, we have for the n th column (denoted by < n >), the flux in the following form
2.6. Orthogonal dimensional flux
These fluxes are all columns or M[HS] k, n . As the number of columns, respectively, series, is infinite, we introduce the following definition for the total flux.
Definition 2.1 . The dimensional flux of the functional matrix with two degrees of freedom k and n is defined as a double series
As the defined number of members is calculated, the flux has the form
The flux along the matrix series in the domain of natural numbers is defined as a twofold series, but with the summing order changed. This dimensional flux is defined as (2.3.4)
On the basis of the previously fixed members, the matrix flux has the form
The equivalency of orthogonal dimensional fluxes implies equality of twofold series
So, e.g., for r = 1 dimensional fluxes have unambiguous numerical value
2.7. The application of the recurring operators at defining diagonal dimension fluxes
In the previous analysis, the defining of the dimensional fluxes of the HS matrix was performed on the basis of addition of the HS function values on the columns, in regard to the series of the HS matrix. The more detailed analysis would be very large scale, including the exponential function, error functions erf(z), erf(z), the incomplete gamma function Γ(a, z), etc. When we use the idea of the transition operators from the reference function into the defining HS function in the functional hyperspherical matrix, we can also establish the values of the dimensional fluxes on the diagonals (Figure 3), whose sum would present the overall flux for the matrix where the degree of freedom is in the domain of natural numbers, i.e., k, n ∈N. Such matrix contains an infinite number of elements. For the reference functions, we take HS functions on the positions of the first series of the matrix, and they are the so-called zero HS functions: HS(0,0,r), HS(0,1,r),...,HS(0,n,r),... The defining functions are placed according to the "gradual" law of growth (+Δk) and decline (-Δn).
Definition 2.2. The flux operator of the series ϑ(Δk, Δn, 0) is defined by the quotient 
Also as the absolute values of the increments are equal and unique, that is |Δk| = |-Δn| = 1, a new joint argument u (Δk = Δn = u) is assigned to them. In addition to the starting value of the k th degree of freedom is k = 0, the operator theta becomes (2.4)
The assigning function is now being calculated as
The dimensional flux on the diagonal presents the sum of its individual members. So, for the first diagonal (denoted by < 0 >) the flux is equal to
for the second, we have
for the third
and for the fourth
The flux in the n th diagonal would be calculated in the form of a sum
The flux for the value n = 2 is calculated on the basis of the function limit value. Respecting that
the expression for the flux of the n th diagonal, after reordering, can get a new form, and it is equivalent to the expression (2.7)
So, for the fifth diagonal (n = 4) we get
For the sixth diagonal (n = 5) it follows that
As the number of diagonals is infinite, the total flux is formed as the series of all diagonal fluxes
For example, approximately, the flux for r = 1 and r = 12 we obtain
In the expanded form, the total flux has the polynomial structures of members
The diagonal flux of the hyperspherical function can be expressed by the series of the general form
Here, v is a summing index by which the sequence of the matrix elements from left to right and from above to down along the diagonal is taken into consideration. The polynomial coefficients contain rational numbers and the graded constant π. The first three coefficients are zero, so they are not included in the summation sequence. Its other values (v = 0, 1,...,13) are given in Table 3
The approximation of the series with 16 coefficients in decimal notation has the form:
Approximately, the double series leads to the solution that is very close to the exact one. Namely, for the unique radius and reducing to ∞ ~ n = 30 the double series of the diagonal flux gets the following structure:
The diagonal dimensional flux is characteristic with coefficients that contain πn constant in the degrees of the series members, in contrast to vertical fluxes with the domination of function errors, where π and e are constants. The horizontal fluxes, as it was presented in (2.6), contain exponential functions. In the meantime, the total flux for the unique radius is convergent and can be calculated with considerably greater value
while, e.g., for r = 2 the flux value is substantially greater and its value is obtained as Π HS ≈ 1375905492.377.
On the basis of the assumption of the recurrent relations (1.2) that exist within the hyperspherical function (1.1), we can calculate a discrete dimensional flux of this function in the domain of natural integer degrees of freedom. Quantitative flux value depends on the nominated value of the hypersphere radius. Meanwhile, as the function HS(k,n,r) is the function of three variables, its dependence is certainly also a variable k, respectively, n. In this article, we calculated several continual fluxes (2.4) and (2.5), for contour hyperspherical function, on the basis of Ramanujan-Hardy's integral. The dimensional flux calculating with diagonal algorithm is much simpler and faster to perform on a computer, because the total flux is now defined as convergent-graded series and it does not contain special functions as components. In any case its value is identical with the fluxes that are calculated on the base of series, i.e., the HS matrix columns, so there is a numerically verified statement that
The flux calculating procedure originates from Freden when he defined it in 1993 as the series of hyperspherical functions that refer to the degree of freedom k = 3. In that case, we obtain the solution .
This function belongs to the family of Mittag Feffler's-type functions, which he developed already in the early 20th century . In any case, this solution is initial for solving the other dimensional fluxes, both for hyperspherical and for hypercubic, in other words the hyper-cylindrical function . With continuous flux in the domain , the problem is considerably more complex, because for its defining, the double integration (3.1) must be performed. It is supposed that its value is very close to discrete flux that is obtained on the base of twofold series. Total dimensional continual flux (k, n ∈N) of the unit hyperspherical function HS(k,n,1) is equal to the value of twofold integral
and its solution can be looked for on numerical bases.
Conway JH: Sphere Packing, Lattices and Groups. 2nd edition. Springer, New York; 1993:9.
Dodd J, Coll V: Generalizing the equal area zones property of the sphere. J Geom 2008, 90: 47–55. 10.1007/s00022-008-2015-2
Manning HP: Geometry of Four Dimensions. Phillips Press; 2010:364.
Letić D, Cakić N, Davidović B: The relational translators of the hyperspherical functional matrix, advances in difference equations. J Hindawi 2010, 2010: 11. Article ID 973432
Cakić N, Letić D, Davidović B: The hyperspherical functions of a derivative. Abstr Appl Anal 2010, 17. Article ID 364292
Letić D, Cakić N, Davidovic B, Berkovic I: Generalisation of the hyperspherical function (monograph to prepare). In Technical Faculty M. Pupin, Zrenjanin; 2010:1–131.
Bishop M, Whitlock A: The equation of state of hard hyperspheres in four and five dimensions. J Chem Phys 2005, 123: 14507. 10.1063/1.1874793
Hinton HC: The Fourth Dimension. Health Research, Pomeroy, WA; 1993.
Hocking GJ, Young SG: Topology. Dover, New York; 1988.
Maunder FRC: Algebraic Topology. Dover, New York; 1997.
Neville HE: The Fourth Dimension. Cambridge University Press, Cambridge, England; 1921.
Rohrmann DR, Santos A: Structure of hard-hypersphere fluids in odd dimensions. Phys Rev E 2007, 76: 051202. [http://arxiv.org/abs/0708.2677v2]
Satoshi M, Watanabe Y, Ohno AK: Scaled hypersphere interpolation technique for efficient construction of multidimensional potential energy surfaces. Chem Phys Lett 2005, 414(4–6):265–270. 10.1016/j.cplett.2005.08.063
Sloane AJN: Sequences. A072478, A072479, A072345, A072346, A087299, A087300 and A074457 in "The On-Line Encyclopedia of Integer Sequences".
Von B, Rucker R: The Fourth Dimension: A Guided Tour of the Higher Universes. Houghtson Miffin, Boston; 1984.
Sommerville YMD: An Introduction to the Geometry of n -Dimensions. Dover, New York; 1958:136.
Wells D: The Penguin Dictionary of Curious and Interesting Numbers. Penguin Books, Middlesex, England; 1986.
Joshi CMJ, Sadan S: Random walk over a hypersphere. Int J Math Math Sci 1985, 8(4):685–688.
Kabatiansky GA, Levenshtein VI: Bounds for packings on a sphere and in space. 1978, 1–14.
Letić D, Davidović B, Berković I, Petrov T: Mathcad 13 in Mathematics and Visualization. Computer Library, Belgrade 2007, 1–1196. ISBN 978–86–7310–398–3
Loskot P, Norman BC: On monotonicity of the hypersphere volume and area. J Geom 2008, 87(1–2):96–98.
Sasaki T: Hyperbolic affine hyperspheres. Nagoya Math J 1980, 77: 107–123.
Tu S-J, Fischbach E: A new geometric probability technique for an n -dimensional sphere and its applications to physics. Math Phys 2001. arXiv: math-ph/0004021v3
Woonchul H, Zhou A: Short note on the volume of hypersphere. 2006, 13.
Letić D, Cakić N: Srinivasa Ramanujan - The prince of numbers. Computer Library, Belgrade; 2010.
Freden E: Summing a series of volumes (Problem 10207). Am Math Monthly 1993, 100: 882. 10.2307/2324678
Mitrinović DS: An Introduction into Special Functions, Scientific Book. Belgrade; 1991:36–37.
Letić D, Davidović B, Berković , Radulović B: Three Archimedes' bodies. In Technical Faculty M. Edited by: Letic D. Pupin, Zrenjanin, Belgrade; 2010:1–1720. 1–136
Letić D, Cakić N, Davidović B: Mathematical Constants--Exposition in Mathcad. Beograd; 2010.
Letić D, Davidović B: The dimensional fluxes of the hypercilindrical function. Abstr Appl Anal 2011., 2011: doi:10.1155/2011/245326
The authors declare that they have no competing interests.
DL, the worked to defined the formula for Hipersferičnu function (HS) and the corresponding orthogonal dijalgonalne and fluxes, as a key research contributes to the work. NC, has verified the analitical formulas and numerical basis.
BD, using software packages Mathcad and Mathematica radio program on verification of the obtained expressions and corresponding graphical presentations.
IB, is also working on information support of the overall survey about HS function, and thus this part that is hardest probation, and was presented in this paper. All authors read and approved the final manuscript.
About this article
Cite this article
Letic, D., Cakic, N., Davidovic, B. et al. Orthogonal and diagonal dimension fluxes of hyperspherical function. Adv Differ Equ 2012, 22 (2012). https://doi.org/10.1186/1687-1847-2012-22
- special function
- dimension flux