Collocation method

In mathematics, a collocation method is a method for the numerical solution of ordinary differential equations, partial differential equations and integral equations. The idea is to choose a finite-dimensional space of candidate solutions (usually polynomials up to a certain degree) and a number of points in the domain (called collocation points), and to select that solution which satisfies the given equation at the collocation points.

Ordinary differential equations

Suppose that the ordinary differential equation

$y'(t)=f(t,y(t)),\quad y(t_{0})=y_{0},$

is to be solved over the interval $[t_{0},t_{0}+c_{k}h]$. Choose $c_{k}$ from 0 ≤ c₁< c₂< … < c_n ≤ 1.

The corresponding (polynomial) collocation method approximates the solution y by the polynomial p of degree n which satisfies the initial condition $p(t_{0})=y_{0}$, and the differential equation $p'(t_{k})=f(t_{k},p(t_{k}))$

at all collocation points $t_{k}=t_{0}+c_{k}h$ for $k=1,\ldots ,n$. This gives n + 1 conditions, which matches the n + 1 parameters needed to specify a polynomial of degree n.

All these collocation methods are in fact implicit Runge–Kutta methods. The coefficients c_k in the Butcher tableau of a Runge–Kutta method are the collocation points. However, not all implicit Runge–Kutta methods are collocation methods.

Example: The trapezoidal rule

Pick, as an example, the two collocation points c₁ = 0 and c₂ = 1 (so n = 2). The collocation conditions are

$p(t_{0})=y_{0},\,$

$p'(t_{0})=f(t_{0},p(t_{0})),\,$

$p'(t_{0}+h)=f(t_{0}+h,p(t_{0}+h)).\,$

There are three conditions, so p should be a polynomial of degree 2. Write p in the form

$p(t)=\alpha (t-t_{0})^{2}+\beta (t-t_{0})+\gamma \,$

to simplify the computations. Then the collocation conditions can be solved to give the coefficients

${\begin{aligned}\alpha &={\frac {1}{2h}}{\Big (}f(t_{0}+h,p(t_{0}+h))-f(t_{0},p(t_{0})){\Big )},\\\beta &=f(t_{0},p(t_{0})),\\\gamma &=y_{0}.\end{aligned}}$

The collocation method is now given (implicitly) by

$y_{1}=p(t_{0}+h)=y_{0}+{\frac {1}{2}}h{\Big (}f(t_{0}+h,y_{1})+f(t_{0},y_{0}){\Big )},\,$

where y₁ = p(t₀ + h) is the approximate solution at t = t₀ + h.

This method is known as the "trapezoidal rule" for differential equations. Indeed, this method can also be derived by rewriting the differential equation as

$y(t)=y(t_{0})+\int _{t_{0}}^{t}f(\tau ,y(\tau ))\,{\textrm {d}}\tau ,\,$

and approximating the integral on the right-hand side by the trapezoidal rule for integrals.

Other examples

The Gauss–Legendre methods use the points of Gauss–Legendre quadrature as collocation points. The Gauss–Legendre method based on s points has order 2s. All Gauss–Legendre methods are A-stable.

In fact, one can show that the order of a collocation method corresponds to the order of the quadrature rule that one would get using the collocation points as weights.

Orthogonal collocation method

In direct collocation method, we are essentially performing variational calculus with the finite-dimensional subspace of piecewise linear functions (as in trapezoidal rule), or cubic functions, or other piecewise polynomial functions. In orthogonal collocation method, we instead use the finite-dimensional subspace spanned by the first N vectors in some orthogonal polynomial basis, such as the Legendre polynomials.

References

• Ascher, Uri M.; Petzold, Linda R. (1998), Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations, Philadelphia: Society for Industrial and Applied Mathematics, ISBN 978-0-89871-412-8.
• Hairer, Ernst; Nørsett, Syvert Paul; Wanner, Gerhard (1993), Solving ordinary differential equations I: Nonstiff problems, Berlin, New York: Springer-Verlag, ISBN 978-3-540-56670-0.
• Iserles, Arieh (1996), A First Course in the Numerical Analysis of Differential Equations, Cambridge University Press, ISBN 978-0-521-55655-2.
• Wang, Yingwei; Chen, Suqin; Wu, Xionghua (2009), "A rational spectral collocation method for solving a class of parameterized singular perturbation problems", Journal of Computational and Applied Mathematics, 233 (10): 2652–2660, doi:10.1016/j.cam.2009.11.011.