Read the differential order literally: take quadrature nodes in and in . Applying Simpson's rule first in and then in multiplies the one-dimensional quadrature weights. With , this tensor-product quadrature isEquivalently, the nine sampled function values have the quadrature weight arraywith rows indexed by the quadrature nodes and columns by the quadrature nodes. The quadrature weights sum to the rectangle's area. If the intended coordinate assignment is instead , , exchange and in the formula. Both conventions give the same calculation on the unit square used below.
For the separable integrand, tensor-product quadrature factors into two one-dimensional applications of Simpson's rule:soThe exact double integral, evaluated by Fubini's theorem and the power rule for integration, isThe factor is always integrated exactly. All quadrature error therefore comes from applying Simpson's rule to the factor.
Past exam of the numerical analysis course of the University of Oxford 2017 1 d i Solution 2026-10-31
At , the preceding tensor-product quadrature givesBoth factors of the separable integrand are quadratic polynomials, so exactness follows directly from the construction of Simpson's rule.
A general-purpose high-dimensional choice is Monte Carlo integration. Draw independent vectors uniformly from the unit cube and evaluate . The cube has volume , so its integral is the expected value of . The iterative estimator isThe integrand is continuous on a compact set, hence bounded with finite variance. The strong law of large numbers gives almost sure convergence, and the square root of the mean squared error is exactly , where . Thus the standard stochastic accuracy rate is ; the dimension affects the variance and evaluation cost, not this exponent.
There is also an important structure-specific improvement here: is a separable integrand. The Fubini theorem reduces the requested value exactly toOne can therefore replace high-dimensional sampling by one-dimensional composite Simpson's rule calculations. For each factor use even , , andthen iterate and form the sum of the products. These smooth factors give deterministic discretization error for fixed centres. Thus Monte Carlo integration is a valid generic answer, while exploiting separability is the more efficient specialized alternative; a large dimension alone does not force a tensor-product grid.