Lebedev quadrature

In numerical analysis, Lebedev quadrature, named after V. I. Lebedev, is an approximation to the surface integral of a function over a three-dimensional sphere. The grid is constructed so to have octahedral rotation and inversion symmetry. The number and location of the grid points together with a corresponding set of integration weights are determined by enforcing the exact integration of polynomials (or equivalently, spherical harmonics) up to a given order, leading to a sequence of increasingly dense grids analogous to the one-dimensional Gauss-Legendre scheme.

The Lebedev grid is often employed in the numerical evaluation of volume integrals in the spherical coordinate system, where it is combined with a one-dimensional integration scheme for the radial coordinate. Applications of the grid are found in fields such as computational chemistry and transportation theory.

Angular integrals

The surface integral of a function over the unit sphere,

$I[f]={\frac {1}{4\pi }}\int \mathrm {d} \Omega \ f(\Omega )={\frac {1}{4\pi }}\int _{0}^{\pi }\sin(\theta )\mathrm {d} \theta \int _{0}^{2\pi }\mathrm {d} \varphi \ f(\theta ,\varphi ),$

is approximated in the Lebedev scheme as

${\tilde {I}}[f]=\sum _{i=1}^{N}\ w_{i}f(\theta _{i},\varphi _{i}),$

where the particular grid points and grid weights are to be determined. The use of a single sum, rather than two one dimensional schemes from discretizing the θ and φ integrals individually, leads to more efficient procedure: fewer total grid points are required to obtain similar accuracy. A competing factor is the computational speedup available when using the direct product of two one-dimensional grids. Despite this, the Lebedev grid still outperforms product grids. However, the use of two one-dimensional integration better allows for fine tuning of the grids, and simplifies the use of any symmetry of the integrand to remove symmetry equivalent grid points.

Construction

The Lebedev grid points are constructed so to lie on the surface of the three-dimensional unit sphere and to be invariant under the octahedral rotation group with inversion. For any point on the sphere, the are either five, seven, eleven, twenty three, or forty seven equivalent points with respect to the octahedral group, all of which are included in the grid. Further, all points equivalent under the rotational and inversion group share the same weights. The smallest such set of points is constructed from all six permutations of (±1, 0, 0) (collectivley denoted as a¹), leading to an integration scheme

${\tilde {I}}_{6}[f]=A_{1}\sum _{i=1}^{6}f(a_{i}^{1}),$

Distinct classes of grid points

	Typical element	Constraint	Number of points
$a^{1}\,$	$(1,0,0)\,$		6
$a^{2}\,$	${\frac {1}{\sqrt {2}}}(1,1,0)$		8
$a^{3}\,$	${\frac {1}{\sqrt {3}}}(1,1,1)$		12
$b^{k}\,$	$(l_{k},l_{k},m_{k})\,$	$2l_{k}^{2}+m_{k}^{2}=1$	24
$c^{k}\,$	$(p_{k},q_{k},0)\,$	$p_{k}^{2}+q_{k}^{2}=1$	24
$d^{k}\,$	$(r_{k},S_{k},W_{k})\,$	$r_{k}^{2}+S_{k}^{2}+W_{k}^{2}=1$	48

where the grid weight is A₁. Geometrically these points correspond to the vertices of a regular octahedron when aligned with the Cartesian axes. Two more sets of points, corresponding to the centers and vertices of the octahedron are all eight uncorrelated permutations of $1/{\sqrt {3}}(\pm 1,\pm 1,\pm 1)$ (denoted as a²), and all twelve permutations of $1/{\sqrt {2}}(\pm 1,\pm 1,0)$ (denoted as a³). This selection of grid points gives rise to the scheme

${\tilde {I}}_{26}[f]=A_{1}\sum _{i=1}^{6}f(a_{i}^{1})+A_{2}\sum _{i=1}^{8}f(a_{i}^{2})+A_{3}\sum _{i=1}^{12}f(a_{i}^{3}),$

where A₁, A₂, and A₃ are the weight functions that still need to be determined. Three further types of points can be employed as shown in the table. Each of these types of classes can contribute more than one set of points to the grid. In complete generality, the Lebedev scheme is

Failed to parse (unknown function "\begin{align}"): {\displaystyle \begin{align} \tilde{I}_N [f] = A_1\sum_{i=1}^6 f(a_i^1)& + A_2\sum_{i=1}^8 f(a_i^2) + A_3 \sum_{i=1}^{12} f(a_i^3) \\ & + \sum_{k=1}^{N_1} B_k \sum_{i=1}^{24} f(b_i^k) + \sum_{k=1}^{N_2} C_k \sum_{i=1}^{24} f(c_i^k) + \sum_{k=1}^{N_3 D_k \sum_{i=1}^{48} f(d_i^k), \end{align} }

where the total number of points, N, is

$N=26+24(N_{1}+N_{2})+48N_{3}.\,$

The determination of the grid weights is achieved by enforcing the scheme to integrate exactly all polynomials up to a given order. On the unit sphere, this equivalent to integrating all spherical harmonics up to the same order. This problem is simplified by a theorem of Sergei Lvovich Sobolev implying that this condition need be imposed only on those polynomials which are invariant under the octahedral rotation group with inversion. Enforcing these conditions lead to a set of nonlinear equations which have been solved and tabulated up to order 131 in the polynomial.

External links

• Fortran code for evaluating the Lebedev grid points and weights