Split-step method

Consider, for example, the nonlinear Schrödinger equation[4]

${\displaystyle {\partial A \over \partial z}=-{i\beta _{2} \over 2}{\partial ^{2}A \over \partial t^{2}}+i\gamma |A|^{2}A=[{\hat {D}}+{\hat {N}}]A,}$

where ${\displaystyle A(t,z)}$ describes the pulse envelope in time ${\displaystyle t}$ at the spatial position ${\displaystyle z}$. The equation can be split into a linear part,

${\displaystyle {\partial A_{D} \over \partial z}=-{i\beta _{2} \over 2}{\partial ^{2}A \over \partial t^{2}}={\hat {D}}A,}$

and a nonlinear part,

${\displaystyle {\partial A_{N} \over \partial z}=i\gamma |A|^{2}A={\hat {N}}A.}$

Both the linear and the nonlinear parts have analytical solutions, but the nonlinear Schrödinger equation containing both parts does not have a general analytical solution.

However, if only a 'small' step ${\displaystyle h}$ is taken along ${\displaystyle z}$, then the two parts can be treated separately with only a 'small' numerical error. One can therefore first take a small nonlinear step,

${\displaystyle A_{N}(t,z+h)=\exp \left[i\gamma |A(t,z)|^{2}h\right]A(t,z),}$

using the analytical solution. Note that this ansatz imposes ${\displaystyle |A(z)|^{2}=const.}$ and consequently ${\displaystyle \gamma \in \mathbb {R} }$.

The dispersion step has an analytical solution in the frequency domain, so it is first necessary to Fourier transform ${\displaystyle A_{N}}$ using

${\displaystyle {\tilde {A}}_{N}(\omega ,z)=\int _{-\infty }^{\infty }A_{N}(t,z)\exp[i(\omega -\omega _{0})t]dt}$,

where ${\displaystyle \omega _{0}}$ is the center frequency of the pulse. It can be shown that using the above definition of the Fourier transform, the analytical solution to the linear step, commuted with the frequency domain solution for the nonlinear step, is

${\displaystyle {\tilde {A}}(\omega ,z+h)=\exp \left[{i\beta _{2} \over 2}(\omega -\omega _{0})^{2}h\right]{\tilde {A}}_{N}(\omega ,z).}$

By taking the inverse Fourier transform of ${\displaystyle {\tilde {A}}(\omega ,z+h)}$ one obtains ${\displaystyle A\left(t,z+h\right)}$; the pulse has thus been propagated a small step ${\displaystyle h}$. By repeating the above ${\displaystyle N}$ times, the pulse can be propagated over a length of ${\displaystyle Nh}$.

The above shows how to use the method to propagate a solution forward in space; however, many physics applications, such as studying the evolution of a wave packet describing a particle, require one to propagate the solution forward in time rather than in space. The non-linear Schrödinger equation, when used to govern the time evolution of a wave function, takes the form

${\displaystyle i\hbar {\partial \psi \over \partial t}=-{{\hbar }^{2} \over {2m}}{\partial ^{2}\psi \over \partial x^{2}}+\gamma |\psi |^{2}\psi =[{\hat {D}}+{\hat {N}}]\psi ,}$

where ${\displaystyle \psi (x,t)}$ describes the wave function at position ${\displaystyle x}$ and time ${\displaystyle t}$. Note that

${\displaystyle {\hat {D}}=-{{\hbar }^{2} \over {2m}}{\partial ^{2} \over \partial x^{2}}}$ and ${\displaystyle {\hat {N}}=\gamma |\psi |^{2}}$, and that ${\displaystyle m}$ is the mass of the particle and ${\displaystyle \hbar }$ is Planck's constant over ${\displaystyle 2\pi }$.

The formal solution to this equation is a complex exponential, so we have that

${\displaystyle \psi (x,t)=e^{-it({\hat {D}}+{\hat {N}})/\hbar }\psi (x,0)}$.

Since ${\displaystyle {\hat {D}}}$ and ${\displaystyle {\hat {N}}}$ are operators, they do not in general commute. However, the Baker-Hausdorff formula can be applied to show that the error from treating them as if they do will be of order ${\displaystyle dt^{2}}$ if we are taking a small but finite time step ${\displaystyle dt}$. We therefore can write

${\displaystyle \psi (x,t+dt)\approx e^{-idt{\hat {D}}/\hbar }e^{-idt{\hat {N}}/\hbar }\psi (x,t)}$.

The part of this equation involving ${\displaystyle {\hat {N}}}$ can be computed directly using the wave function at time ${\displaystyle t}$, but to compute the exponential involving ${\displaystyle {\hat {D}}}$ we use the fact that in frequency space, the partial derivative operator can be converted into a number by substituting ${\displaystyle ik}$ for ${\displaystyle \partial \over \partial x}$, where ${\displaystyle k}$ is the frequency (or more properly, wave number, as we are dealing with a spatial variable and thus transforming to a space of spatial frequencies—i.e. wave numbers) associated with the Fourier transform of whatever is being operated on. Thus, we take the Fourier transform of

${\displaystyle e^{-idt{\hat {N}}/\hbar }\psi (x,t)}$,

recover the associated wave number, compute the quantity

${\displaystyle e^{idtk^{2}}}$,

and use it to find the product of the complex exponentials involving ${\displaystyle {\hat {N}}}$ and ${\displaystyle {\hat {D}}}$ in frequency space as below:

${\displaystyle e^{idtk^{2}}F[e^{-idt{\hat {N}}}\psi (x,t)]}$,

where ${\displaystyle F}$ denotes a Fourier transform. We then inverse Fourier transform this expression to find the final result in physical space, yielding the final expression

${\displaystyle \psi (x,t+dt)=F^{-1}[e^{idtk^{2}}F[e^{-idt{\hat {N}}}\psi (x,t)]]}$.

A variation on this method is the symmetrized split-step Fourier method, which takes half a time step using one operator, then takes a full-time step with only the other, and then takes a second half time step again with only the first. This method is an improvement upon the generic split-step Fourier method because its error is of order ${\displaystyle dt^{3}}$ for a time step ${\displaystyle dt}$. The Fourier transforms of this algorithm can be computed relatively fast using the fast Fourier transform (FFT). The split-step Fourier method can therefore be much faster than typical finite difference methods.[5]

• Thomas E. Murphy, Software, http://www.photonics.umd.edu/software/ssprop/
• Andrés A. Rieznik, Software, http://www.freeopticsproject.org
• Prof. G. Agrawal, Software, http://www.optics.rochester.edu/workgroups/agrawal/grouphomepage.php?pageid=software
• Thomas Schreiber, Software, http://www.fiberdesk.com
• Edward J. Grace, Software, http://www.mathworks.com/matlabcentral/fileexchange/24016