Orthogonal and diagonal dimension fluxes of hyperspherical function

Abstract

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.

1. Introduction

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 [4].

Definition 1.1. The hyperspherical function [5]with two degrees of freedom k and n is defined as

$$HS\left(k,n,r\right)=\frac{2\sqrt{{\pi }^k}{r}^{k+n-3}\Gamma \left(k\right)}{\Gamma \left(k+n-2\right)\Gamma \left(\frac{k}{2}\right)}\left(k,n\in Z,r\in N\right),$$

(1.1)

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 [6].

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 [7].

$$\frac{\partial }{\partial r}HS\left(k,n,r\right)=HS\left(k,n-1,r\right)\text{and}HS\left(k,n+1,r\right)=\underset{0}{\overset{r}{\int }}HS\left(k,n,r\right)dr.$$

(1.2)

For the development of the hyperspherical functions theory see Bishop [8], Conway [1], Dodd and Coll [2], Hinton [9], Hocking and Young [10], Manning [3], Maunder [11], Neville [12], Rohrmann and Santos [13], Satoshi et al. [14], Sloane [15], Rucker [16], Sommerville [17], Weels [18], Joshi and Sadan [19], Kabatiansky [20], Letić and all [21], Loskot and Norman [22], Sasaki [23], Tu and Fischbach [24], Woonchul and Zhou [25], and for its testing, see Ramanujan and Hardy [26]. 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).

Figure 1

The submatrix HS(k, n, r) of the function for k ∈ -3, -2,...5 and n ∈ -2, -1,...6 with six highlighted characteristics functions (undef. are undefined values, most commonly singular ± ∞ of this function value).

Figure 2

The 3D hyperspherical function for the unitary radius HS (-1 ≤ k ≤ 5, -4 ≤ n ≤ 4, 1) and the coordinates of real spherical entities.

$$M{\left[HS\right]}_{kxn}=$$

(1.3)

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

$$\sum _{k=0}^{\infty }HS\left(k,3,r\right)=1+2r+\pi r^2+\frac{4}{3}\pi r^3+\frac{1}{2}{\pi }^2{r}^4+\frac{8}{15}{\pi }^2{r}^5+\cdot \cdot \cdot +\epsilon \left(\frac{2\sqrt{{\pi }^k}{r}^k}{k\Gamma \left(k/2\right)}\right).$$

Freden [27] has precisely defined this series with the value

$$\sum _{k=0}^{\infty }HS\left(k,3,r\right)=\sum _{k=0}^{\infty }\frac{2\sqrt{{\pi }^k}{r}^k}{k\Gamma \left(k/2\right)}=e^{\pi r^2}\left[1+erf\left(r\sqrt{\pi }\right)\right],$$

(2.1)

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

$$\sum _{k=0}^{\infty }HS\left(k,3,r\right)=\sum _{k=0,2,4,\dots }^{\infty }HS\left(k,3,r\right)+\sum _{k=1,3,5,\dots }^{\infty }HS\left(k,3,r\right)=e^{\pi r^2}+e^{\pi r^2}erf\left(r\sqrt{\pi }\right).$$

Consequently, Freden's result [27] 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

$$e^{\pi r^2}=\sum _{b=0}^{\infty }\frac{{\pi }^b{r}^{2b}}{b!}\text{and}{e}^{\pi r^2}erf\left(r\sqrt{\pi }\right)=\sum _{b=0}^{\infty }\frac{{\pi }^b{\left(2r\right)}^{2b+1}b!}{\left(2b+1\right)!}.$$

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

$$\frac{\partial }{\partial r}\sum _{k=0}^{\infty }HS\left(k,3,r\right)=\sum _{k=0}^{\infty }HS\left(k,2,r\right),\text{so then is}\sum _{k=0}^{\infty }HS\left(k,2,r\right)=2\left[1+\pi r{e}^{\pi r^2}erfc\left(-r\sqrt{\pi }\right)\right].$$

For hypersphere (n = 1), a series is obtained in view of the previous, therefore

$$\frac{\partial }{\partial r}\sum _{k=0}^{\infty }HS\left(k,2,r\right)=\sum _{k=0}^{\infty }HS\left(k,1,r\right)=2\pi \left[2r+e^{\pi r^2}\left(1+2\pi r^2\right)erfc\left(-r\sqrt{\pi }\right)\right]$$

For n = 0, the series value is found on the basic of deducing, so it follows that

$$\sum _{k=0}^{\infty }HS\left(k,0,r\right)=8{\pi }^2\left[r{e}^{\pi r^2}\left(\frac{3}{2}+\pi r^2\right)erfc\left(-r\sqrt{\pi }\right)+r^2+{\pi }^{-1}\right].$$

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,

$$\sum _{k=0}^{\infty }HS\left(k,n+1,r\right)=\underset{0}{\overset{r}{\int }}\left(\sum _{k=0}^{\infty }HS\left(k,n,r\right)\right)dr,$$

so for the fourth dimension the following integral form is applied

$$\sum _{k=0}^{\infty }HS\left(k,4,r\right)=\underset{0}{\overset{r}{\int }}\left(\sum _{k=0}^{\infty }HS\left(k,3,r\right)\right)dr=\underset{0}{\overset{r}{\int }}{e}^{\pi r^2}\left[1+erf\left(r\sqrt{\pi }\right)\right]dr.$$

This property refers also to the complementary dichotomous hyperspherical series. In that case, we have for even members

$$\sum _{k=0,2,4,\dots }^{\infty }HS\left(k,4,r\right)=\underset{0}{\overset{r}{\int }}\left(\sum _{k=0,2,4,\cdots }^{\infty }HS\left(k,3,r\right)\right)dr.$$

So for the fourth dimension an integral form with imaginary error function is obained using erf(z) = -ierf(iz).

$$\sum _{k=0,2,4,\dots }^{\infty }HS\left(k,4,r\right)=\underset{0}{\overset{r}{\int }}{e}^{\pi r^2}dr=-\frac{i}{2}erf\left(r\sqrt{-\pi }\right)=\frac{erfi\left(r\sqrt{\pi }\right)}{2}.$$

After the partial integration using $\int udv=uv-\int vdu$ we obtain the integral for "odd" series

$$\sum _{k=1,3,5,\dots }^{\infty }HS\left(k,4,r\right)=\underset{0}{\overset{r}{\int }}erf\left(r\sqrt{\pi }\right)e^{\pi r^2}dr=\frac{erfi\left(r\sqrt{\pi }\right)erf\left(r\sqrt{\pi }\right)}{2}-\underset{0}{\overset{r}{\int }}{e}^{-\pi r^2}erf\left(r\sqrt{\pi }\right)dr,$$

where $u=erf\left(r\sqrt{\pi }\right)$ and $dv=e^{\pi r^2}dr$. 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

$$\sum _{k=0,2,4,...}^{\infty }HS\left(k,4,r\right)=\sum _{k=0,2,4,\dots }^{\infty }\frac{\sqrt{{\pi }^k}{r}^{k+1}}{\left(k+1\right)\left(k/2\right)!}=\sum _{b=0}^{\infty }\frac{{\pi }^b{r}^{1+2b}}{\left(2b+1\right)b!},$$

while the series for odd numbers is defined as

$$\sum _{k=1,3,....}^{\infty }HS\left(k,4,r\right)=\sum _{k=1,3,\dots }^{\infty }\frac{2^k\sqrt{{\pi }^{k-1}}{r}^{k+1}}{\left(1+k\right)!}\left(\frac{k-1}{2}\right)!\equiv \sum _{b=0}^{\infty }\frac{2^{1+2b}{\pi }^b{r}^{2\left(1+b\right)}b!}{\left(2+2b\right)!}.$$

So, the analytical values of these dichotomous series are

$$\underset{0}{\overset{r}{\int }}{e}^{\pi r^2}\left[1+erf\left(r\sqrt{\pi }\right)\right]dr=\underset{0}{\overset{r}{\int }}{e}^{\pi r^2}dr+\underset{0}{\overset{r}{\int }}{e}^{\pi r^2}erf\left(r\sqrt{\pi }\right)dr=\frac{erfi\left(r\sqrt{\pi }\right)}{2}+\sum _{b=0}^{\infty }\frac{2^{1+2b}{\pi }^{b}b!r^{2\left(1+b\right)}}{\left(2+2b\right)!}.$$

(2.2)

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 [28]

$$\int e^{b{z}^2}erf\left(az\right)dz=\frac{1}{b\sqrt{\pi }}\sum _{k=0}^{\infty }\frac{a^{2k+1}\Gamma \left(k+1,-b{z}^2\right)}{b^k\left(2k+1\right)k!}+C.$$

Integral in its definite form is expressed as

$$\underset{0}{\overset{r}{\int }}{e}^{\pi r^2}\left[1+erf\left(r\sqrt{\pi }\right)\right]dr=\frac{erfi\left(r\sqrt{\pi }\right)}{2}+\frac{1}{\pi }\sum _{k=0}^{\infty }\frac{\Gamma \left(k+1,-\pi r^2\right)-\Gamma \left(k+1,0\right)}{\left(1+2k\right)k!}.$$

While the incomplete gamma function is in general case equal to $\Gamma \left(a,z\right)=\underset{z}{\overset{\infty }{\int }}{t}^{a-1}{e}^{-t}dt$[29]. It is obvious that the two obtained series with odd members are equivalent to the following

$$\frac{1}{\pi }\sum _{k=0}^{\infty }\frac{\Gamma \left(k+1,-\pi r^2\right)-\Gamma \left(k+1\right)}{\left(1+2k\right)k!}\equiv \sum _{b=0}^{\infty }\frac{2^{1+2b}{\pi }^b{r}^{2\left(1+b\right)}b!}{\left(2+2b\right)!}.$$

Defining the series for n = 5 is realized by integrating the expressions

$$\sum _{k=0}^{\infty }HS\left(k,5,r\right)=\underset{0}{\overset{r}{\int }}\frac{erfi\left(r\sqrt{\pi }\right)}{2}dr+\underset{0}{\overset{r}{\int }}\left(\sum _{k=1,3,\dots }^{\infty }\frac{2^k\sqrt{{\pi }^{k-1}}{r}^{k+1}}{\left(1+k\right)!}\left(\frac{k-1}{2}\right)!\right)dr.$$

(2.3)

The first integral on the right side of (2.3) is solved on the bases of the known equality $\int erfi\left(az\right)=z\cdot erfi\left(az\right)-\frac{e^{{\left(az\right)}^2}}{a\sqrt{\pi }}$, where $az=r\sqrt{\pi }$. Thus, the integral is obtained as

$$\underset{0}{\overset{r}{\int }}\frac{erfi\left(r\sqrt{\pi }\right)}{2}dr=\frac{1}{2}{\left.\left(r\cdot erfi\left(r\sqrt{\pi }\right)-\frac{e^{\pi r^2}}{\pi }\right)\right|}_0^r=\frac{1-e^{\pi r^2}+\pi rerfi\left(r\sqrt{\pi }\right)}{2\pi }.$$

However, a simpler way is to use both even and odd dichotomous series. Now, we obtain

$$\sum _{k=0,2,\dots }^{\infty }HS\left(k,5,r\right)=\underset{0}{\overset{r}{\int }}\left(\sum _{b=0}^{\infty }\frac{{\pi }^b{r}^{2b+1}}{\left(2b+1\right)b!}\right)dr=\frac{1}{2}\sum _{b=0}^{\infty }\frac{{\pi }^b{r}^{2\left(b+1\right)}}{\left(2b+1\right)\left(b+1\right)!},$$

respectively

$$\sum _{k=1,3,\dots }^{\infty }HS\left(k,5,r\right)=\underset{0}{\overset{r}{\int }}\left(\sum _{b=0}^{\infty }\frac{2^{1+2b}{\pi }^{b}b!r^{2\left(b+1\right)}}{\left(2+2b\right)!}\right)dr=\sum _{b=0}^{\infty }\frac{2^{1+2b}{\pi }^{b}b!r^{2b+3}}{\left(3+2b\right)!}.$$

The sum of results on the base of the integral value and one series is

$$\sum _{k=0}^{\infty }HS\left(k,5,r\right)=\frac{1-e^{\pi r^2}+\pi rerfi\left(r\sqrt{\pi }\right)}{2\pi }+\sum _{b=0}^{\infty }\frac{2^{1+2b}{\pi }^{b}b!r^{2b+3}}{\left(3+2b\right)!}$$

or with two complementary series

$$\sum _{k=0}^{\infty }HS\left(k,5,r\right)=\sum _{k=1}^{\infty }\frac{\sqrt{{\pi }^k}{r}^{k+2}}{\left(k+1\right)\left(k+2\right)\Gamma \left(\frac{k}{2}+1\right)}=\frac{1}{2}\sum _{b=0}^{\infty }\frac{{\pi }^b{r}^{2\left(b+1\right)}}{\left(2b+1\right)\left(b+1\right)!}+\sum _{b=0}^{\infty }\frac{2^{1+2b}{\pi }^{b}b!r^{2b+3}}{\left(3+2b\right)!}.$$

The dichotomous series for n = 6 is

$$\sum _{k=0}^{\infty }HS\left(k,6,r\right)=\sum _{k=0}^{\infty }\frac{\sqrt{{\pi }^k}{r}^{k+3}\Gamma \left(k+1\right)}{\Gamma \left(k+3\right)\Gamma \left(\frac{k}{2}+1\right)}=\sum _{b=0}^{\infty }\frac{2^{1+2b}{\pi }^{b}b!r^{2\left(b+2\right)}}{\left(4+2b\right)!}+\frac{1}{2}\sum _{b=0}^{\infty }\frac{{\pi }^b{r}^{2b+3}}{\left(2b+1\right)\left(2b+3\right)\left(b+1\right)!}.$$

Note: Integration, similar as in the previous cases, is applied with certain conditions, so we have, e.g., $\underset{0}{\overset{r}{\int }}{r}^{2b+3}dr=0$, 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.

Table 1 Values of discrete and continuous fluxes.

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 [30].

$$\sum _{k=0}^{\infty }HS\left(k,-2,r\right)=8{\pi }^3\left\{r{e}^{\pi r^2}erfc\left(-r\sqrt{\pi }\right)\left[15+4\pi r^2\left(5+\pi r^2\right)\right]+2r^2\left(9+2\pi r^2\right)+8{\pi }^{-1}\right\}.$$

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

$$\sum _{n=0}^{\infty }HS\left(3,n,r\right)=8\pi +8\pi r+4\pi r^2+\frac{4}{3}\pi r^3+\frac{1}{3}\pi r^4+\frac{1}{15}\pi r^5+\dots +\epsilon \left(\frac{8\pi r^n}{\Gamma \left(n+1\right)}\right).$$

Some values of discrete and continual fluxes, (for r = 1), are given in Table 2.

Table 2 Values of discrete and continual fluxes

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 (πr²). The members of the second series are the surface functions (4πr²) and sphere volume ($\frac{4}{3}\pi r^3$). 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 [31]

$$F=\underset{0}{\overset{\infty }{\int }}\frac{1}{\Gamma \left(x\right)}dx=e+\underset{0}{\overset{\infty }{\int }}\frac{e^{-n}}{{\pi }^2+{\text{ln}}^{2}n}dn\approx 2.8077702420285.$$

The integral value of the flux in question is now $\underset{0}{\overset{\infty }{\int }}HS\left(2,n,1\right)dn=\sum _{n=0}^{\infty }HS\left(2,n,1\right)+\underset{0}{\overset{\infty }{\int }}\frac{2\pi e^{-n}}{{\pi }^2+{\text{ln}}^{2}n}dn$ or, namely, for unit radius

$$\begin{array}{c}\underset{0}{\overset{\infty }{\int }}\frac{2\pi }{\Gamma \left(n\right)}dn=2\pi \left(e+\underset{0}{\overset{\infty }{\int }}\frac{e^{-n}}{{\pi }^2+{\text{ln}}^{2}n}dn\right)=2\pi F\approx \text{17}\text{.641741}\text{.}\end{array}$$

(2.4)

Regarding the continuous dimension n, a more general dimensional volume hypersphere flux follows on the base of Ramanujan-Hardy's integral [26].

$$\underset{0}{\overset{\infty }{\int }}\frac{y^x}{\Gamma \left(x+1\right)}dx=e^x-\underset{0}{\overset{\infty }{\int }}\frac{e^{-xz}}{x\left({\pi }^2+{\text{ln}}^{2}x\right)}dx.$$

Ramanujan defined this integral and Hardy "deepened" it analytically. In that sense, the previous expression can be applied on flux calculation, as

$$\underset{0}{\overset{\infty }{\int }}\frac{8\pi r^n}{\Gamma \left(n+1\right)}dn=8\pi \left(e^r-\underset{0}{\overset{\infty }{\int }}\frac{e^{-nr}}{n({\pi }^2+{\text{ln}}^{2}n}dn\right).$$

The integral can be defined as the difference of series and integral with the value (for r = 1),

$${\left.\underset{0}{\overset{\infty }{\int }}\frac{8\pi r^n}{\Gamma \left(n+1\right)}dn=\sum _{n=0}^{\infty }\frac{8\pi r^n}{\Gamma \left(n+1\right)}-\underset{0}{\overset{\infty }{\int }}\frac{8\pi e^{-nr}}{n\left({\pi }^2+{\text{ln}}^{2}n\right)}dn\right|}_{r=1}\approx 56.96423.$$

(2.5)

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

$${\Phi }_{HS}^{<n>}\left(k,n,r\right)=\sum _{k=0}^{\infty }HS\left(k,n,r\right).$$

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

$${\Phi }_{HS}\left(k,n,r\right)=\sum _{n=0}^{\infty }{\Phi }_{HS}^{<n>}\left(k,n,r\right)=\sum _{n=0}^{\infty }\sum _{k=0}^{\infty }HS\left(k,n,r\right).$$

As the defined number of members is calculated, the flux has the form

$$\begin{array}{c}{\Phi }_{HS}\left(k,n,r\right)=\sum _{n=0}^{\infty }\sum _{k=0}^{\infty }HS\left(k,n,r\right)=8{\pi }^2\left[r{e}^{\pi r^2}\left(3/2+\pi r^2\right)erfc\left(-r\sqrt{\pi }\right)+r^2+{\pi }^{-1}\right]\hfill \\ +2\pi \left[2r+e^{\pi r^2}\left(1+2\pi r^2\right)erfc\left(-r\sqrt{\pi }\right)\right]+2{}^{\left[1+\pi r{e}^{\pi r^2}erfc\left(-r\sqrt{\pi }\right)\right]}+e^{\pi r^2}erfc\left(-r\sqrt{\pi }\right)\hfill \\ +\frac{erfi\left(r\sqrt{\pi }\right)}{2}+\sum _{b=0}^{\infty }\frac{2^{1+2b}{\pi }^{b}b!r^{2\left(1+b\right)}}{\left(2+2b\right)!}+\frac{1-e^{\pi r^2}+\pi rerfi\left(r\sqrt{\pi }\right)}{2\pi }+\sum _{b=0}^{\infty }\frac{2^{1+2b}{\pi }^{b}b!r^{2b+3}}{\left(3+2b\right)!}+\cdot \cdot \cdot \hfill \end{array}$$

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)

$${\Omega }_{HS}\left(k,n,r\right)=\sum _{k=0}^{\infty }\sum _{n=0}^{\infty }HS\left(k,n,r\right).$$

(2.6)

On the basis of the previously fixed members, the matrix flux has the form

$$\begin{array}{c}{\Omega }_{HS}\left(k,n,r\right)=\sum _{k=0}^{\infty }\sum _{n=0}^{\infty }HS\left(k,n,r\right)=e^r+2e^r+2\pi e^r+8\pi e^r+12{\pi }^2\left(e^r-1\right)+64{\pi }^2\left(e^r-r-1\right)\hfill \\ +60{\pi }^3\left[2e^r-{\left(r+1\right)}^2-1\right]+128{\pi }^3\left[6\left(e^r-r-1\right)-r^2\left(r+3\right)\right]\hfill \\ +70{\pi }^4\left[24\left(e^r-r-1\right)-r^2\left(r^2+4r+12\right)\right]+\sum _{n=0}^{\infty }\frac{12288{\pi }^4{r}^{n+6}}{\Gamma \left(n+7\right)}+\cdot \cdot \cdot \hfill \end{array}$$

The equivalency of orthogonal dimensional fluxes implies equality of twofold series

$${\Phi }_{HS}\left(k,n,r\right)={\Omega }_{HS}\left(k,n,r\right).$$

So, e.g., for r = 1 dimensional fluxes have unambiguous numerical value

$${\Phi }_{HS}\left(k,n,1\right)={\Omega }_{HS}\left(k,n,1\right)\approx \text{19427}\text{.85884884322}\text{.}$$

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).

Figure 3

(a) The representative submatrix. Figure 3. (b) The addition principle of the matrix on diagonal.

Definition 2.2. The flux operator of the series ϑ(Δk, Δn, 0) is defined by the quotient [4]

$$\vartheta \left(\mathrm{\Delta }k,\mathrm{\Delta }n,0\right)=\frac{HS\left(k+\mathrm{\Delta }k,n+\mathrm{\Delta }n,r\right)}{HS\left(k,n,r\right)}=\frac{\sqrt{{\pi }^{\mathrm{\Delta }k}}{r}^{\mathrm{\Delta }k+\mathrm{\Delta }n}\Gamma \left(k+n-2\right)\Gamma \left(k+\mathrm{\Delta }k\right)}{\Gamma \left(k\right)\Gamma \left(k+n+\mathrm{\Delta }k+\mathrm{\Delta }n-2\right)\Gamma \left(\frac{k+\mathrm{\Delta }k}{2}\right)}\Gamma \left(\frac{k}{2}\right).$$

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)

$$\theta \left(u,-u,0\right)=2\sqrt{{\pi }^u}\frac{\Gamma \left(u\right)}{\Gamma \left(u/2\right)}.$$

The assigning function is now being calculated as

$$HS\left(u,n-u,r\right)=\theta \left(u,-u,0\right)\cdot H\left(0,n,r\right)=\frac{2\sqrt{{\pi }^u}{r}^{n-3}\Gamma \left(u\right)}{\Gamma \left(n-2\right)\Gamma \left(u/2\right)}.$$

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

$${\Pi }^{<0>}\left(k,n,r\right)=HS\left(0,0,r\right)=0,$$

for the second, we have

$${\Pi }^{<1>}\left(k,n,r\right)=HS\left(0,1,r\right)+HS\left(1,0,r\right)=0$$

for the third

$${\Pi }^{<2>}\left(k,n,r\right)=HS\left(0,2,r\right)+HS\left(1,1,r\right)+HS\left(2,0,r\right)=0,$$

and for the fourth

$${\Pi }^{<3>}\left(k,n,r\right)=HS\left(0,3,r\right)+HS\left(1,2,r\right)+HS\left(2,1,r\right)+HS\left(3,0,r\right)=3+10\pi .$$

The flux in the n th diagonal would be calculated in the form of a sum

$${\Pi }^{<n>}\left(k,n,r\right)=\sum _{u=0}^{n}HS\left(u,n-q,r\right)=\frac{2r^{n-3}}{\Gamma \left(n-2\right)}\sum _{u=0}^n\frac{\sqrt{{\pi }^u}\Gamma \left(u\right)}{\Gamma \left(u/2\right)}\left(n\ne 2\right).$$

(2.7)

The flux for the value n = 2 is calculated on the basis of the function limit value. Respecting that

$$\frac{\Gamma \left(u\right)}{\Gamma \left(u/2\right)}=\frac{2^{u-1}}{\sqrt{\pi }}\Gamma \left(\frac{u+1}{2}\right),$$

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)

$${\Pi }^{<n>}\left(k,n,r\right)=\frac{r^{n-3}}{\Gamma \left(n-2\right)}\sum _{u=0}^n{2}^u\sqrt{{\pi }^{u-1}}\Gamma \left(\frac{u+1}{2}\right).$$

So, for the fifth diagonal (n = 4) we get

$${\Pi }^{<4>}\left(k,n,r\right)=\sum _{u=0}^{n}HS\left(u,n-u,r\right)=r\left(10\pi +12{\pi }^2+3\right).$$

For the sixth diagonal (n = 5) it follows that

$${\Pi }^{<5>}\left(k,n,r\right)=\sum _{u=0}^{n=5}HS\left(u,n-u,r\right)=\frac{r^2}{2}\left(10\pi +76{\pi }^2+3\right).$$

As the number of diagonals is infinite, the total flux is formed as the series of all diagonal fluxes

$${\Pi }_{HS}\left(k,n,r\right)=\sum _{n=0}^{\infty }{\Pi }^{<n>}\left(k,n,r\right)$$

namely

$${\Pi }_{HS}\left(k,n,r\right)=\sum _{n=0}^{\infty }\sum _{u=0}^{n}HS\left(u,n-u,r\right)=\sum _{n=0}^{\infty }\left(\frac{2r^{n-3}}{\Gamma \left(n-2\right)}\sum _{u=0}^n\frac{\sqrt{{\pi }^u}\Gamma \left(u\right)}{\Gamma \left(u/2\right)}\right).$$

For example, approximately, the flux for r = 1 and r = 12 we obtain

$${\Pi }_{HS}\left(k,12,1\right)=\frac{98641}{1096}+\frac{493205}{18144}\pi +\frac{604099}{9072}{\pi }^2+\frac{99541}{1512}{\pi }^3+\frac{46061}{1260}{\pi }^4+\frac{5143}{378}{\pi }^5+\frac{11}{6}{\pi }^6.$$

In the expanded form, the total flux has the polynomial structures of members

$$\begin{array}{c}{\Pi }_{HS}\left(k,n,r\right)=3+10\pi +r\left(10\pi +12{\pi }^2+3\right)+r^2\left(5\pi +38{\pi }^2+\frac{3}{2}\right)+\hfill \\ r^3\left(\frac{5\pi }{3}+\frac{38}{3}{\pi }^2+20{\pi }^3+\frac{1}{2}\right)+r^4\left(\frac{5\pi }{12}+\frac{19}{6}{\pi }^2+37{\pi }^3+\frac{1}{8}\right)+\hfill \\ r^5\left(\frac{\pi }{12}+\frac{19}{30}{\pi }^2+\frac{37}{5}{\pi }^3+14{\pi }^4+\frac{1}{40}\right)+r^6\left(\frac{\pi }{72}+\frac{19}{180}{\pi }^2+\frac{37}{30}{\pi }^3+\frac{97}{5}{\pi }^4+\frac{1}{240}\right)+\cdot \cdot \cdot \hfill \end{array}$$

The diagonal flux of the hyperspherical function can be expressed by the series of the general form

$${\Pi }_{HS}\left(v,r\right)=\sum _{v=0}^{\infty }{a}_v{r}^v.$$

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

Table 3 The polinomial coefficients

The approximation of the series with 16 coefficients in decimal notation has the form:

$$\begin{array}{c}\sum _{v=0}^{15}{a}_v{r}^v\approx 0+0+0+\text{34}\text{.42}+\text{152}\text{.85}r+\text{392}\text{.25}{r}^2+\text{750}\text{.88}{r}^3+\text{1179}\text{.92}{r}^4+\text{1599}\text{.71}{r}^5\\ +\text{1929}\text{.07}{r}^6+\text{2111}\text{.7}{r}^7+\text{2129}\text{.23}{r}^8+\text{1999}\text{.13}{r}^9+\text{1762}\text{.55}{r}^{10}+\text{1469}\text{.03}{r}^{11}+\text{1163}\text{.76}{r}^{12}.\end{array}$$

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:

$$\begin{array}{c}{\Pi }_{HS}\left(u,n,1\right)\approx \sum _{n=0}^{n=30}\sum _{u=0}^{n}HS\left(u,n-u,r\right)\hfill \\ =\frac{\text{739975398988375932899873137}}{\text{90740578753486268006400000}}+\frac{\text{739975398988375932899873137}}{\text{27222173626045880401920000}}\pi +\frac{\text{238514305877004451811873137}}{\text{3581864950795510579200000}}{\pi }^2+\hfill \\ \frac{\text{746729898421689857416906069}}{\text{11342572344185783500800000}}{\pi }^3+\frac{\text{69115170440329813663374289}}{\text{1890428724030963916800000}}{\pi }^4+\frac{\text{13502017230377428308337}}{\text{986310638624850739200}}{\pi }^5+\hfill \\ \frac{\text{361197664753904472319223}}{\text{94521436201548195840000}}{\pi }^6+\frac{\text{228408779952457540837}}{\text{270061246290137702400}}{\pi }^7+\frac{\text{522026543218088839027}}{\text{3375765578626721280000}}{\pi }^8+\hfill \\ \frac{\text{644267815110873757}}{\text{26791790306561280000}}{\pi }^9+\frac{\text{20316656463704383}}{\text{6251417738197632000}}{\pi }^{10}+\frac{\text{66173656244567}}{\text{170493211041753600}}{\pi }^{11}+\frac{\text{655224179171}}{\text{15786408429792000}}{\pi }^{12}+\hfill \\ \frac{\text{21951111737}}{\text{5464525994928000}}{\pi }^{13}+\frac{\text{2769843971}}{\text{7806465707040000}}{\pi }^{14}+\frac{29}{\text{1556755200}}{\pi }^{15}\approx \text{19427,315}.\hfill \end{array}$$

The diagonal dimensional flux is characteristic with coefficients that contain πⁿ 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

$${\Pi }_{HS}\left(k,n,1\right)\approx \text{19427}\text{.858848843922,}$$

while, e.g., for r = 2 the flux value is substantially greater and its value is obtained as Π _HS ≈ 1375905492.377.

3. Conclusion

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

$${\left.{\Phi }_{HS}\left(k,n,r\right)={\Omega }_{HS}\left(k,n,r\right)={\Pi }_{HS}\left(k,n,r\right)\right|}_{r=1}\approx \text{19427}\text{.858848843922}\text{.}$$

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 [20].

$$\sum _{k=0}^{\infty }HS\left(k,3,r\right)=\sum _{k=0}^{\infty }\frac{\sqrt{{\pi }^k}{r}^k}{\Gamma \left(\frac{k}{2}+1\right)}=e^{\pi r^2}erfc\left(-r\sqrt{\pi }\right).$$

This function belongs to the family of Mittag Feffler's-type functions, which he developed already in the early 20th century [32]. 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 [33]. With continuous flux in the domain $k,n\in \overline{0,\infty }$, 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

$$\underset{0}{\overset{\infty }{\int }}\underset{0}{\overset{\infty }{\int }}\frac{2\sqrt{{\pi }^k}{r}^{k+n-3}\Gamma \left(k\right)}{\Gamma \left(k+n-2\right)\Gamma \left(\frac{k}{2}\right)}dkdn,$$

(3.1)

and its solution can be looked for on numerical bases.