HYPERBALL_INTEGRALS
Integrals Inside the Unit Hyperball in M Dimensions

HYPERBALL_INTEGRALS is a FORTRAN90 library which returns the exact value of the integral of any monomial over the interior of the unit hyperball in M dimensions.

The interior of the unit hyperball in M dimensions is defined by

        sum ( 1 <= i <= m ) x(i)^2 <= 1

The integrands are all of the form

        f(x) = product ( 1 <= i <= m ) x(i)^e(i)

where the exponents are nonnegative integers. If any exponent is an odd integer, the integral will be zero. Thus, the "interesting" results occur when all exponents are even.

Licensing:

The computer code and data files described and made available on this web page are distributed under the GNU LGPL license.

Languages:

HYPERBALL_INTEGRALS is available in a C version and a C++ version and a FORTRAN90 version and a MATLAB version and a Python version.

Related Data and Programs:

BALL_INTEGRALS, a FORTRAN90 library which returns the exact value of the integral of any monomial over the interior of the unit ball in 3D.

CIRCLE_INTEGRALS, a FORTRAN90 library which returns the exact value of the integral of any monomial over the surface of the unit circle in 2D.

CUBE_INTEGRALS, a FORTRAN90 library which returns the exact value of the integral of any monomial over the interior of the unit cube in 3D.

DISK01_INTEGRALS, a FORTRAN90 library which returns the exact value of the integral of any monomial over the interior of the unit disk in 2D.

HYPERBALL_MONTE_CARLO, a FORTRAN90 library which uses the Monte Carlo method to estimate the integral of a function over the interior of the unit hyperball in M dimensions.

HYPERCUBE_INTEGRALS, a FORTRAN90 library which returns the exact value of the integral of any monomial over the interior of the unit hypercube in M dimensions.

HYPERSPHERE_INTEGRALS, a FORTRAN90 library which returns the exact value of the integral of any monomial over the surface of the unit hypersphere in M dimensions.

LINE_INTEGRALS, a FORTRAN90 library which returns the exact value of the integral of any monomial over the length of the unit line in 1D.

POLYGON_INTEGRALS, a FORTRAN90 library which returns the exact value of the integral of any monomial over the interior of a polygon in 2D.

PYRAMID_INTEGRALS, a FORTRAN90 library which returns the exact value of the integral of any monomial over the interior of the unit pyramid in 3D.

SIMPLEX_INTEGRALS, a FORTRAN90 library which returns the exact value of the integral of any monomial over the interior of the unit simplex in M dimensions.

SPHERE_INTEGRALS, a FORTRAN90 library which returns the exact value of the integral of any monomial over the surface of the unit sphere in 3D.

SQUARE_INTEGRALS, a FORTRAN90 library which returns the exact value of the integral of any monomial over the interior of the unit square in 2D.

TETRAHEDRON_INTEGRALS, a FORTRAN90 library which returns the exact value of the integral of any monomial over the interior of the unit tetrahedron in 3D.

TRIANGLE_INTEGRALS, a FORTRAN90 library which returns the exact value of the integral of any monomial over the interior of the unit triangle in 2D.

WEDGE_INTEGRALS, a FORTRAN90 library which returns the exact value of the integral of any monomial over the interior of the unit wedge in 3D.

Reference:

Gerald Folland,
How to Integrate a Polynomial Over a Sphere,
American Mathematical Monthly,
Volume 108, Number 5, May 2001, pages 446-448.

Source Code:

hyperball_integrals.f90, the source code.

Examples and Tests:

hyperball_integrals_test.f90, a sample calling program.
hyperball_integrals_test.txt, the output file.

List of Routines:

HYPERBALL01_MONOMIAL_INTEGRAL returns monomial integrals in the unit hyperball in M dimensions.
HYPERBALL01_SAMPLE uniformly samples points from the unit hyperball in M dimensions.
HYPERBALL01_VOLUME returns the volume of the unit hyperball in M dimensions.
I4VEC_UNIFORM_AB returns a scaled pseudorandom I4VEC.
MONOMIAL_VALUE evaluates a monomial.
R8_GAMMA evaluates Gamma(X) for a real argument.
R8_UNIFORM_01 returns a unit pseudorandom R8.
R8VEC_NORMAL_01 returns a unit pseudonormal R8VEC.
R8VEC_UNIFORM_01 returns a unit pseudorandom R8VEC.
TIMESTAMP prints the current YMDHMS date as a time stamp.

You can go up one level to the FORTRAN90 source codes.

Last revised on 10 January 2014.

HYPERBALL_INTEGRALS Integrals Inside the Unit Hyperball in M Dimensions