Octave includes several functions for computing the integral of functions of multiple variables. This procedure can generally be performed by creating a function that integrates f with respect to x, and then integrates that function with respect to y. This procedure can be performed manually using the following example which integrates the function:
f(x, y) = sin(pi*x*y) * sqrt(x*y)
for x and y between 0 and 1.
Using quadgk
in the example below, a double integration can be
performed. (Note that any of the 1-D quadrature functions can be used in this
fashion except for quad
since it is written in Fortran and cannot be
called recursively.)
function q = g(y) q = ones (size (y)); for i = 1:length (y) f = @(x) sin (pi*x.*y(i)) .* sqrt (x.*y(i)); q(i) = quadgk (f, 0, 1); endfor endfunction I = quadgk ("g", 0, 1) ⇒ 0.30022
The algorithm above is implemented in the function dblquad
for integrals
over two variables. The 3-D equivalent of this process is implemented in
triplequad
for integrals over three variables. As an example, the
result above can be replicated with a call to dblquad
as shown below.
I = dblquad (@(x, y) sin (pi*x.*y) .* sqrt (x.*y), 0, 1, 0, 1) ⇒ 0.30022
q =
dblquad (f, xa, xb, ya, yb)
¶q =
dblquad (f, xa, xb, ya, yb, tol)
¶q =
dblquad (f, xa, xb, ya, yb, tol, quadf)
¶q =
dblquad (f, xa, xb, ya, yb, tol, quadf, …)
¶Numerically evaluate the double integral of f.
f is a function handle, inline function, or string containing the name of the function to evaluate. The function f must have the form z = f(x,y) where x is a vector and y is a scalar. It should return a vector of the same length and orientation as x.
xa, ya and xb, yb are the lower and upper limits of integration for x and y respectively. The underlying integrator determines whether infinite bounds are accepted.
The optional argument tol defines the absolute tolerance used to integrate each sub-integral. The default value is 1e-6.
The optional argument quadf specifies which underlying integrator
function to use. Any choice but quad
is available and the default
is quadcc
.
Additional arguments, are passed directly to f. To use the default
value for tol or quadf one may pass ':'
or an empty
matrix ([]).
See also: integral2, integral3, triplequad, quad, quadv, quadl, quadgk, quadcc, trapz.
q =
triplequad (f, xa, xb, ya, yb, za, zb)
¶q =
triplequad (f, xa, xb, ya, yb, za, zb, tol)
¶q =
triplequad (f, xa, xb, ya, yb, za, zb, tol, quadf)
¶q =
triplequad (f, xa, xb, ya, yb, za, zb, tol, quadf, …)
¶Numerically evaluate the triple integral of f.
f is a function handle, inline function, or string containing the name of the function to evaluate. The function f must have the form w = f(x,y,z) where either x or y is a vector and the remaining inputs are scalars. It should return a vector of the same length and orientation as x or y.
xa, ya, za and xb, yb, zb are the lower and upper limits of integration for x, y, and z respectively. The underlying integrator determines whether infinite bounds are accepted.
The optional argument tol defines the absolute tolerance used to integrate each sub-integral. The default value is 1e-6.
The optional argument quadf specifies which underlying integrator
function to use. Any choice but quad
is available and the default
is quadcc
.
Additional arguments, are passed directly to f. To use the default
value for tol or quadf one may pass ':'
or an empty
matrix ([]).
See also: integral3, integral2, dblquad, quad, quadv, quadl, quadgk, quadcc, trapz.
The recursive algorithm for quadrature presented above is referred to as
"iterated"
. A separate 2-D integration method is implemented in the
function quad2d
. This function performs a "tiled"
integration
by subdividing the integration domain into rectangular regions and performing
separate integrations over those domains. The domains are further subdivided
in areas requiring refinement to reach the desired numerical accuracy. For
certain functions this method can be faster than the 2-D iteration used in the
other functions above.
q =
quad2d (f, xa, xb, ya, yb)
¶q =
quad2d (f, xa, xb, ya, yb, prop, val, …)
¶[q, err, iter] =
quad2d (…)
¶Numerically evaluate the two-dimensional integral of f using adaptive quadrature over the two-dimensional domain defined by xa, xb, ya, yb using tiled integration. Additionally, ya and yb may be scalar functions of x, allowing for the integration over non-rectangular domains.
f is a function handle, inline function, or string containing the
name of the function to evaluate. The function f must be of the form
z = f(x,y), and all operations must be vectorized such that x
and y accept array inputs and return array outputs of the same size.
(It can be assumed that x and y will either be same-size arrays
or one will be a scalar.) The underlying integrators will input arrays of
integration points into f and/or use internal vector expansions to
speed computation that can produce unpredictable results if f is not
restricted to elementwise operations. For integrands where this is
unavoidable, the ("Vectorized") option described below may produce
more reliable results.
Additional optional parameters can be specified using
"property", value
pairs. Valid properties are:
AbsTol
Define the absolute error tolerance for the quadrature. The default value is 1e-10 (1e-5 for single).
RelTol
Define the relative error tolerance for the quadrature. The default value is 1e-6 (1e-4 for single).
MaxFunEvals
The maximum number of function calls to the vectorized function f. The default value is 5000.
Singular
Enable/disable transforms to weaken singularities on the edge of the integration domain. The default value is true.
Vectorized
Enable or disable vectorized integration. A value of false
forces
Octave to use only scalar inputs when calling the integrand, which enables
integrands f(x,y) that have not been vectorized or only accept
scalar values of x or y. The default value is true
.
Note that this is achieved by wrapping f(x,y) with the function
arrayfun
, which may significantly decrease computation speed.
FailurePlot
If quad2d
fails to converge to the desired error tolerance before
MaxFunEvals is reached, a plot of the areas that still need refinement
is created. The default value is false.
Adaptive quadrature is used to minimize the estimate of error until the following is satisfied:
error <= max (AbsTol, RelTol*|q|)
The optional output err is an approximate bound on the error in the
integral abs (q - I)
, where I is the exact value
of the integral. The optional output iter is the number of vectorized
function calls to the function f that were used.
Example 1 : integrate a rectangular region in x-y plane
f = @(x,y) 2*ones (size (x)); q = quad2d (f, 0, 1, 0, 1) ⇒ q = 2
The result is a volume, which for this constant-value integrand, is just
Length * Width * Height
.
Example 2 : integrate a triangular region in x-y plane
f = @(x,y) 2*ones (size (x)); ymax = @(x) 1 - x; q = quad2d (f, 0, 1, 0, ymax) ⇒ q = 1
The result is a volume, which for this constant-value integrand
f = 2, is the Triangle Area x Height or
1/2 * Base * Width * Height
.
Example 3 : integrate a non-vectorized function over a square region
f = @(x,y) sinc (x) * sinc (y)); q = quad2d (f, -1, 1, -1, 1) ⇒ q = 12.328 (incorrect) q = quad2d (f, -1, 1, -1, 1, "Vectorized", false) ⇒ q = 1.390 (correct) f = @(x,y) sinc (x) .* sinc (y); q = quad2d (f, -1, 1, -1, 1) ⇒ q = 1.390 (correct)
The first result is incorrect as the non-elementwise operator between the
sinc functions in f create unintended matrix multiplications between
the internal integration arrays used by quad2d
. In the second
result, setting "Vectorized"
to false forces quad2d
to
perform scalar internal operations to compute the integral, resulting in
the correct numerical result at the cost of about a 20x increase in
computation time. In the third result, vectorizing the integrand f
using the elementwise multiplication operator gets the correct result
without increasing computation time.
Programming Notes: If there are singularities within the integration region it is best to split the integral and place the singularities on the boundary.
Known MATLAB incompatibility: If tolerances are left unspecified, and
any integration limits are of type single
, then Octave’s integral
functions automatically reduce the default absolute and relative error
tolerances as specified above. If tighter tolerances are desired they
must be specified. MATLAB leaves the tighter tolerances appropriate
for double
inputs in place regardless of the class of the
integration limits.
Reference: L.F. Shampine, MATLAB program for quadrature in 2D, Applied Mathematics and Computation, pp. 266–274, Vol 1, 2008.
See also: integral2, dblquad, integral, quad, quadgk, quadv, quadl, quadcc, trapz, integral3, triplequad.
Finally, the functions integral2
and integral3
are provided
as general 2-D and 3-D integration functions. They will auto-select between
iterated and tiled integration methods and, unlike dblquad
and
triplequad
, will work with non-rectangular integration domains.
q =
integral2 (f, xa, xb, ya, yb)
¶q =
integral2 (f, xa, xb, ya, yb, prop, val, …)
¶[q, err] =
integral2 (…)
¶Numerically evaluate the two-dimensional integral of f using adaptive quadrature over the two-dimensional domain defined by xa, xb, ya, yb (scalars may be finite or infinite). Additionally, ya and yb may be scalar functions of x, allowing for integration over non-rectangular domains.
f is a function handle, inline function, or string containing the
name of the function to evaluate. The function f must be of the form
z = f(x,y), and all operations must be vectorized such that x
and y accept array inputs and return array outputs of the same size.
(It can be assumed that x and y will either be same-size arrays
or one will be a scalar.) The underlying integrators will input arrays of
integration points into f and/or use internal vector expansions to
speed computation that can produce unpredictable results if f is not
restricted to elementwise operations. For integrands where this is
unavoidable, the ("Vectorized") option described below may produce
more reliable results.
Additional optional parameters can be specified using
"property", value
pairs. Valid properties are:
AbsTol
Define the absolute error tolerance for the quadrature. The default value is 1e-10 (1e-5 for single).
RelTol
Define the relative error tolerance for the quadrature. The default value is 1e-6 (1e-4 for single).
Method
Specify the two-dimensional integration method to be used, with valid
options being "auto"
(default), "tiled"
, or
"iterated"
. When using "auto"
, Octave will choose the
"tiled"
method unless any of the integration limits are infinite.
Vectorized
Enable or disable vectorized integration. A value of false
forces
Octave to use only scalar inputs when calling the integrand, which enables
integrands f(x,y) that have not been vectorized or only accept
scalar values of x or y. The default value is true
.
Note that this is achieved by wrapping f(x,y) with the function
arrayfun
, which may significantly decrease computation speed.
Adaptive quadrature is used to minimize the estimate of error until the following is satisfied:
error <= max (AbsTol, RelTol*|q|)
err is an approximate bound on the error in the integral
abs (q - I)
, where I is the exact value of the
integral.
Example 1 : integrate a rectangular region in x-y plane
f = @(x,y) 2*ones (size (x)); q = integral2 (f, 0, 1, 0, 1) ⇒ q = 2
The result is a volume, which for this constant-value integrand, is just
Length * Width * Height
.
Example 2 : integrate a triangular region in x-y plane
f = @(x,y) 2*ones (size (x)); ymax = @(x) 1 - x; q = integral2 (f, 0, 1, 0, ymax) ⇒ q = 1
The result is a volume, which for this constant-value integrand
f = 2, is the Triangle Area x Height or
1/2 * Base * Width * Height
.
Example 3 : integrate a non-vectorized function over a square region
f = @(x,y) sinc (x) * sinc (y)); q = integral2 (f, -1, 1, -1, 1) ⇒ q = 12.328 (incorrect) q = integral2 (f, -1, 1, -1, 1, "Vectorized", false) ⇒ q = 1.390 (correct) f = @(x,y) sinc (x) .* sinc (y); q = integral2 (f, -1, 1, -1, 1) ⇒ q = 1.390 (correct)
The first result is incorrect as the non-elementwise operator between the
sinc functions in f create unintended matrix multiplications between
the internal integration arrays used by integral2
. In the second
result, setting "Vectorized"
to false forces integral2
to
perform scalar internal operations to compute the integral, resulting in
the correct numerical result at the cost of about a 20x increase in
computation time. In the third result, vectorizing the integrand f
using the elementwise multiplication operator gets the correct result
without increasing computation time.
Programming Notes: If there are singularities within the integration region it is best to split the integral and place the singularities on the boundary.
Known MATLAB incompatibility: If tolerances are left unspecified, and
any integration limits are of type single
, then Octave’s integral
functions automatically reduce the default absolute and relative error
tolerances as specified above. If tighter tolerances are desired they
must be specified. MATLAB leaves the tighter tolerances appropriate
for double
inputs in place regardless of the class of the
integration limits.
Reference: L.F. Shampine, MATLAB program for quadrature in 2D, Applied Mathematics and Computation, pp. 266–274, Vol 1, 2008.
See also: quad2d, dblquad, integral, quad, quadgk, quadv, quadl, quadcc, trapz, integral3, triplequad.
q =
integral3 (f, xa, xb, ya, yb, za, zb)
¶q =
integral3 (f, xa, xb, ya, yb, za, zb, prop, val, …)
¶Numerically evaluate the three-dimensional integral of f using adaptive quadrature over the three-dimensional domain defined by xa, xb, ya, yb, za, zb (scalars may be finite or infinite). Additionally, ya and yb may be scalar functions of x and za, and zb maybe be scalar functions of x and y, allowing for integration over non-rectangular domains.
f is a function handle, inline function, or string containing the
name of the function to evaluate. The function f must be of the form
z = f(x,y,z), and all operations must be vectorized such that
x, y, and z accept array inputs and return array outputs
of the same size. (It can be assumed that x, y, and z
will either be same-size arrays or scalars.) The underlying integrators
will input arrays of integration points into f and/or use internal
vector expansions to speed computation that can produce unpredictable
results if f is not restricted to elementwise operations. For
integrands where this is unavoidable, the ("Vectorized") option
described below may produce more reliable results.
Additional optional parameters can be specified using
"property", value
pairs. Valid properties are:
AbsTol
Define the absolute error tolerance for the quadrature. The default value is 1e-10 (1e-5 for single).
RelTol
Define the relative error tolerance for the quadrature. The default value is 1e-6 (1e-4 for single).
Method
Specify the two-dimensional integration method to be used, with valid
options being "auto"
(default), "tiled"
, or
"iterated"
. When using "auto"
, Octave will choose the
"tiled"
method unless any of the integration limits are infinite.
Vectorized
Enable or disable vectorized integration. A value of false
forces
Octave to use only scalar inputs when calling the integrand, which enables
integrands f(x,y,z) that have not been vectorized or only accept
scalar values of x, y, or z. The default value is
true
. Note that this is achieved by wrapping f(x,y,z) with
the function arrayfun
, which may significantly decrease computation
speed.
Adaptive quadrature is used to minimize the estimate of error until the following is satisfied:
error <= max (AbsTol, RelTol*|q|)
err is an approximate bound on the error in the integral
abs (q - I)
, where I is the exact value of the
integral.
Example 1 : integrate over a rectangular volume
f = @(x,y,z) ones (size (x)); q = integral3 (f, 0, 1, 0, 1, 0, 1) ⇒ q = 1.00000
For this constant-value integrand, the result is a volume which is just
Length * Width * Height
.
Example 2 : integrate over a spherical volume
f = @(x,y) ones (size (x)); ymax = @(x) sqrt (1 - x.^2); zmax = @(x,y) sqrt (1 - x.^2 - y.^2); q = integral3 (f, 0, 1, 0, ymax, 0, zmax) ⇒ q = 0.52360
For this constant-value integrand, the result is a volume which is 1/8th
of a unit sphere or 1/8 * 4/3 * pi
.
Example 3 : integrate a non-vectorized function over a cubic volume
f = @(x,y) sinc (x) * sinc (y), * sinc (z); q = integral3 (f, -1, 1, -1, 1, -1, 1) ⇒ q = 14.535 (incorrect) q = integral3 (f, -1, 1, -1, 1, -1, 1, "Vectorized", false) ⇒ q = 1.6388 (correct) f = @(x,y,z) sinc (x) .* sinc (y), .* sinc (z); q = integral3 (f, -1, 1, -1, 1, -1, 1) ⇒ q = 1.6388 (correct)
The first result is incorrect as the non-elementwise operator between the
sinc functions in f create unintended matrix multiplications between
the internal integration arrays used by integral3
. In the second
result, setting "Vectorized"
to false forces integral3
to
perform scalar internal operations to compute the integral, resulting in
the correct numerical result at the cost of about a 30x increase in
computation time. In the third result, vectorizing the integrand f
using the elementwise multiplication operator gets the correct result
without increasing computation time.
Programming Notes: If there are singularities within the integration region it is best to split the integral and place the singularities on the boundary.
Known MATLAB incompatibility: If tolerances are left unspecified, and
any integration limits are of type single
, then Octave’s integral
functions automatically reduce the default absolute and relative error
tolerances as specified above. If tighter tolerances are desired they
must be specified. MATLAB leaves the tighter tolerances appropriate
for double
inputs in place regardless of the class of the
integration limits.
Reference: L.F. Shampine, MATLAB program for quadrature in 2D, Applied Mathematics and Computation, pp. 266–274, Vol 1, 2008.
See also: triplequad, integral, quad, quadgk, quadv, quadl, quadcc, trapz, integral2, quad2d, dblquad.
The above integrations can be fairly slow, and that problem increases
exponentially with the dimensionality of the integral. Another possible
solution for 2-D integration is to use Orthogonal Collocation as described in
the previous section (see Orthogonal Collocation). The integral of a
function f(x,y) for x and y between 0 and 1 can be
approximated using n points by
the sum over i=1:n
and j=1:n
of q(i)*q(j)*f(r(i),r(j))
,
where q and r is as returned by colloc (n)
. The
generalization to more than two variables is straight forward. The
following code computes the studied integral using n=8 points.
f = @(x,y) sin (pi*x*y') .* sqrt (x*y'); n = 8; [t, ~, ~, q] = colloc (n); I = q'*f(t,t)*q; ⇒ 0.30022
It should be noted that the number of points determines the quality of the approximation. If the integration needs to be performed between a and b, instead of 0 and 1, then a change of variables is needed.