Pseudo-spectral Method
   HOME

TheInfoList



OR:

Pseudo-spectral methods, also known as discrete variable representation (DVR) methods, are a class of
numerical methods Numerical analysis is the study of algorithms that use numerical approximation (as opposed to symbolic manipulations) for the problems of mathematical analysis (as distinguished from discrete mathematics). It is the study of numerical methods th ...
used in
applied mathematics Applied mathematics is the application of mathematical methods by different fields such as physics, engineering, medicine, biology, finance, business, computer science, and industry. Thus, applied mathematics is a combination of mathematical s ...
and
scientific computing Computational science, also known as scientific computing or scientific computation (SC), is a field in mathematics that uses advanced computing capabilities to understand and solve complex problems. It is an area of science that spans many disc ...
for the solution of
partial differential equation In mathematics, a partial differential equation (PDE) is an equation which imposes relations between the various partial derivatives of a Multivariable calculus, multivariable function. The function is often thought of as an "unknown" to be sol ...
s. They are closely related to
spectral method Spectral methods are a class of techniques used in applied mathematics and scientific computing to numerically solve certain differential equations. The idea is to write the solution of the differential equation as a sum of certain " basis functio ...
s, but complement the
basis Basis may refer to: Finance and accounting * Adjusted basis, the net cost of an asset after adjusting for various tax-related items *Basis point, 0.01%, often used in the context of interest rates * Basis trading, a trading strategy consisting ...
by an additional pseudo-spectral basis, which allows representation of functions on a quadrature grid. This simplifies the evaluation of certain operators, and can considerably speed up the calculation when using fast algorithms such as the
fast Fourier transform A fast Fourier transform (FFT) is an algorithm that computes the discrete Fourier transform (DFT) of a sequence, or its inverse (IDFT). Fourier analysis converts a signal from its original domain (often time or space) to a representation in th ...
.


Motivation with a concrete example

Take the initial-value problem :i \frac \psi(x, t) = \Bigl \frac + V(x) \Bigr\psi(x,t), \qquad\qquad \psi(t_0) = \psi_0 with periodic conditions \psi(x+1, t) = \psi(x, t). This specific example is the
Schrödinger equation The Schrödinger equation is a linear partial differential equation that governs the wave function of a quantum-mechanical system. It is a key result in quantum mechanics, and its discovery was a significant landmark in the development of the ...
for a particle in a potential V(x), but the structure is more general. In many practical partial differential equations, one has a term that involves derivatives (such as a kinetic energy contribution), and a multiplication with a function (for example, a potential). In the spectral method, the solution \psi is expanded in a suitable set of basis functions, for example plane waves, :\psi(x,t) = \frac \sum_n c_n(t) e^ . Insertion and equating identical coefficients yields a set of
ordinary differential equation In mathematics, an ordinary differential equation (ODE) is a differential equation whose unknown(s) consists of one (or more) function(s) of one variable and involves the derivatives of those functions. The term ''ordinary'' is used in contrast w ...
s for the coefficients, :i\frac c_n(t) = (2\pi n)^2 c_n + \sum_k V_ c_k, where the elements V_ are calculated through the explicit Fourier-transform :V_ = \int_0^ V(x) \ e^ dx . The solution would then be obtained by truncating the expansion to N basis functions, and finding a solution for the c_n(t). In general, this is done by
numerical methods Numerical analysis is the study of algorithms that use numerical approximation (as opposed to symbolic manipulations) for the problems of mathematical analysis (as distinguished from discrete mathematics). It is the study of numerical methods th ...
, such as
Runge–Kutta methods In numerical analysis, the Runge–Kutta methods ( ) are a family of implicit and explicit iterative methods, which include the Euler method, used in temporal discretization for the approximate solutions of simultaneous nonlinear equations. The ...
. For the numerical solutions, the right-hand side of the ordinary differential equation has to be evaluated repeatedly at different time steps. At this point, the spectral method has a major problem with the potential term V(x). In the spectral representation, the multiplication with the function V(x) transforms into a vector-matrix multiplication, which scales as N^2. Also, the matrix elements V_ need to be evaluated explicitly before the differential equation for the coefficients can be solved, which requires an additional step. In the pseudo-spectral method, this term is evaluated differently. Given the coefficients c_n(t), an inverse discrete Fourier transform yields the value of the function \psi at discrete grid points x_j = 2\pi j/N. At these grid points, the function is then multiplied, \psi'(x_i, t) = V(x_i) \psi(x_i, t), and the result Fourier-transformed back. This yields a new set of coefficients c'_n(t) that are used instead of the matrix product \sum_k V_ c_k(t). It can be shown that both methods have similar accuracy. However, the pseudo-spectral method allows the use of a fast Fourier transform, which scales as O(N\ln N), and is therefore significantly more efficient than the matrix multiplication. Also, the function V(x) can be used directly without evaluating any additional integrals.


Technical discussion

In a more abstract way, the pseudo-spectral method deals with the multiplication of two functions V(x) and f(x) as part of a partial differential equation. To simplify the notation, the time-dependence is dropped. Conceptually, it consists of three steps: # f(x), \tilde(x) = V(x)f(x) are expanded in a finite set of basis functions (this is the
spectral method Spectral methods are a class of techniques used in applied mathematics and scientific computing to numerically solve certain differential equations. The idea is to write the solution of the differential equation as a sum of certain " basis functio ...
). # For a given set of basis functions, a quadrature is sought that converts scalar products of these basis functions into a weighted sum over grid points. # The product is calculated by multiplying V,f at each grid point.


Expansion in a basis

The functions f, \tilde f can be expanded in a finite basis \_ as :f(x) = \sum_^N c_n \phi_n(x) :\tilde f(x) = \sum_^N \tilde c_n \phi_n(x) For simplicity, let the basis be orthogonal and normalized, \langle \phi_n, \phi_m \rangle = \delta_ using the
inner product In mathematics, an inner product space (or, rarely, a Hausdorff space, Hausdorff pre-Hilbert space) is a real vector space or a complex vector space with an operation (mathematics), operation called an inner product. The inner product of two ve ...
\langle f, g \rangle = \int_a^b f(x) \overline dx with appropriate boundaries a,b. The coefficients are then obtained by :c_n = \langle f, \phi_n \rangle :\tilde c_n = \langle \tilde f, \phi_n \rangle A bit of calculus yields then :\tilde c_n = \sum_^N V_ c_m with V_ = \langle V\phi_m, \phi_n \rangle. This forms the basis of the spectral method. To distinguish the basis of the \phi_n from the quadrature basis, the expansion is sometimes called Finite Basis Representation (FBR).


Quadrature

For a given basis \ and number of N+1 basis functions, one can try to find a quadrature, i.e., a set of N+1 points and weights such that :\langle \phi_n, \phi_m \rangle = \sum_^N w_i \phi_n(x_i) \overline \qquad\qquad n,m = 0,\ldots,N Special examples are the
Gaussian quadrature In numerical analysis, a quadrature rule is an approximation of the definite integral of a function, usually stated as a weighted sum of function values at specified points within the domain of integration. (See numerical integration for more ...
for polynomials and the
Discrete Fourier Transform In mathematics, the discrete Fourier transform (DFT) converts a finite sequence of equally-spaced samples of a function into a same-length sequence of equally-spaced samples of the discrete-time Fourier transform (DTFT), which is a complex- ...
for plane waves. It should be stressed that the grid points and weights, x_i,w_i are a function of the basis ''and'' the number N. The quadrature allows an alternative numerical representation of the function f(x), \tilde f(x) through their value at the grid points. This representation is sometimes denoted Discrete Variable Representation (DVR), and is completely equivalent to the expansion in the basis. :f(x_i) = \sum_^N c_n \phi_n(x_i) :c_n = \langle f, \phi_n \rangle = \sum_^ w_i f(x_i) \overline


Multiplication

The multiplication with the function V(x) is then done at each grid point, :\tilde f(x_i) = V(x_i) f(x_i). This generally introduces an additional approximation. To see this, we can calculate one of the coefficients \tilde c_n: :\tilde c_n = \langle \tilde f, \phi_n \rangle = \sum_i w_i \tilde f(x_i) \overline = \sum_i w_i V(x_i) f(x_i) \overline However, using the spectral method, the same coefficient would be \tilde c_n = \langle Vf, \phi_n \rangle. The pseudo-spectral method thus introduces the additional approximation :\langle Vf, \phi_n \rangle \approx \sum_i w_i V(x_i) f(x_i) \overline. If the product Vf can be represented with the given finite set of basis functions, the above equation is exact due to the chosen quadrature.


Special pseudospectral schemes


The Fourier method

If periodic boundary conditions with period ,L/math> are imposed on the system, the basis functions can be generated by plane waves, :\phi_n(x) = \frac e^ with k_n = (-1)^n \lceil n/2 \rceil 2\pi/L, where \lceil\cdot\rceil is the
ceiling function In mathematics and computer science, the floor function is the function that takes as input a real number , and gives as output the greatest integer less than or equal to , denoted or . Similarly, the ceiling function maps to the least inte ...
. The quadrature for a cut-off at n_ = N is given by the
discrete Fourier transform In mathematics, the discrete Fourier transform (DFT) converts a finite sequence of equally-spaced samples of a function into a same-length sequence of equally-spaced samples of the discrete-time Fourier transform (DTFT), which is a complex- ...
ation. The grid points are equally spaced, x_i = i \Delta x with spacing \Delta x = L / (N+1), and the constant weights are w_i = \Delta x. For the discussion of the error, note that the product of two plane waves is again a plane wave, \phi_ + \phi_b = \phi_c with c \leq a+b. Thus, qualitatively, if the functions f(x), V(x) can be represented sufficiently accurately with N_f, N_V basis functions, the pseudo-spectral method gives accurate results if N_f + N_V basis functions are used. An expansion in plane waves often has a poor quality and needs many basis functions to converge. However, the transformation between the basis expansion and the grid representation can be done using a
Fast Fourier transform A fast Fourier transform (FFT) is an algorithm that computes the discrete Fourier transform (DFT) of a sequence, or its inverse (IDFT). Fourier analysis converts a signal from its original domain (often time or space) to a representation in th ...
, which scales favorably as N \ln N. As a consequence, plane waves are one of the most common expansion that is encountered with pseudo-spectral methods.


Polynomials

Another common expansion is into classical polynomials. Here, the
Gaussian quadrature In numerical analysis, a quadrature rule is an approximation of the definite integral of a function, usually stated as a weighted sum of function values at specified points within the domain of integration. (See numerical integration for more ...
is used, which states that one can always find weights w_i and points x_i such that :\int_a^b w(x) p(x) dx = \sum_^N w_i p(x_i) holds for any polynomial p(x) of degree 2N+1 or less. Typically, the weight function w(x) and ranges a,b are chosen for a specific problem, and leads to one of the different forms of the quadrature. To apply this to the pseudo-spectral method, we choose basis functions \phi_n(x) = \sqrt P_n(x), with P_n being a polynomial of degree n with the property :\int_a^b w(x) P_n(x) P_m(x) dx = \delta_. Under these conditions, the \phi_n form an orthonormal basis with respect to the scalar product \langle f, g \rangle = \int_a^b f(x) \overline dx. This basis, together with the quadrature points can then be used for the pseudo-spectral method. For the discussion of the error, note that if f is well represented by N_f basis functions and V is well represented by a polynomial of degree N_V, their product can be expanded in the first N_f+N_V basis functions, and the pseudo-spectral method will give accurate results for that many basis functions. Such polynomials occur naturally in several standard problems. For example, the quantum harmonic oscillator is ideally expanded in Hermite polynomials, and Jacobi-polynomials can be used to define the associated Legendre functions typically appearing in rotational problems.


References

* * * * Jie Shen, Tao Tang and Li-Lian Wang (2011) "Spectral Methods: Algorithms, Analysis and Applications" (Springer Series in Computational Mathematics, V. 41, Springer), . * * * * * * * {{DEFAULTSORT:Pseudo-Spectral Method Numerical analysis