In
mathematics, the inverse scattering transform is a method for solving some non-linear
partial differential equations
In mathematics, a partial differential equation (PDE) is an equation which imposes relations between the various partial derivatives of a multivariable function.
The function is often thought of as an "unknown" to be solved for, similarly to ...
. The method is a non-linear analogue, and in some sense generalization, of the
Fourier transform
A Fourier transform (FT) is a mathematical transform that decomposes functions into frequency components, which are represented by the output of the transform as a function of frequency. Most commonly functions of time or space are transformed, ...
, which itself is applied to solve many linear partial differential equations. The name "inverse scattering method" comes from the key idea of recovering the time evolution of a potential from the time evolution of its scattering data: inverse scattering refers to the problem of recovering a potential from its scattering matrix, as opposed to the direct scattering problem of finding the scattering matrix from the potential.
The inverse scattering transform may be applied to many of the so-called
exactly solvable model
In mathematics, integrability is a property of certain dynamical systems. While there are several distinct formal definitions, informally speaking, an integrable system is a dynamical system with sufficiently many conserved quantities, or first i ...
s, that is to say
completely integrable
In mathematics, integrability is a property of certain dynamical systems. While there are several distinct formal definitions, informally speaking, an integrable system is a dynamical system with sufficiently many conserved quantities, or first i ...
infinite dimensional systems.
Overview
The inverse scattering transform was first introduced by for the
Korteweg–de Vries equation, and soon extended to the
nonlinear Schrödinger equation, the
Sine-Gordon equation, and the
Toda lattice The Toda lattice, introduced by , is a simple model for a one-dimensional crystal in solid state physics
Solid-state physics is the study of rigid matter, or solids, through methods such as quantum mechanics, crystallography, electromagnetism, and ...
equation. It was later used to solve many other equations, such as the
Kadomtsev–Petviashvili equation
In mathematics and physics, the Kadomtsev–Petviashvili equation (often abbreviated as KP equation) is a partial differential equation to describe nonlinear wave motion. Named after Boris Borisovich Kadomtsev and Vladimir Iosifovich Petviashvi ...
, the
Ishimori equation, the
Dym equation
In mathematics, and in particular in the theory of solitons, the Dym equation (HD) is the third-order partial differential equation
:u_t = u^3u_.\,
It is often written in the equivalent form for some function v of one space variable and time
...
, and so on. A further family of examples is provided by the
Bogomolny equations
In mathematics, and especially gauge theory, the Bogomolny equation for magnetic monopoles is the equation
:F_A = \star d_A \Phi,
where F_A is the curvature of a connection A on a principal G-bundle over a 3-manifold M, \Phi is a section of the ...
(for a given gauge group and oriented Riemannian 3-fold), the
solutions of which are
magnetic monopoles.
A characteristic of solutions obtained by the inverse scattering method is the existence of
solitons, solutions resembling both particles and waves, which have no analogue for linear partial differential equations. The term "soliton" arises from non-linear optics.
The inverse scattering problem can be written as a
Riemann–Hilbert factorization problem, at least in the case of equations of one space dimension. This formulation can be generalized to differential operators of order greater than 2 and also to periodic potentials.
In higher space dimensions one has instead a "nonlocal" Riemann–Hilbert factorization problem (with convolution instead of multiplication) or a d-bar problem.
Example: the Korteweg–de Vries equation
The Korteweg–de Vries equation is a nonlinear, dispersive, evolution
partial differential equation
In mathematics, a partial differential equation (PDE) is an equation which imposes relations between the various partial derivatives of a multivariable function.
The function is often thought of as an "unknown" to be solved for, similarly to ...
for a
function ''u''; of two
real variables, one space variable ''x'' and one time variable ''t'' :
:
with
and
denoting
partial derivative
In mathematics, a partial derivative of a function of several variables is its derivative with respect to one of those variables, with the others held constant (as opposed to the total derivative, in which all variables are allowed to vary). Pa ...
s with respect to ''t'' and ''x'', respectively.
To solve the initial value problem for this equation where
is a known function of ''x'', one associates to this equation the Schrödinger eigenvalue equation
:
where
is an unknown function of ''t'' and ''x'' and ''u'' is the solution of the Korteweg–de Vries equation that is unknown except at
. The constant
is an eigenvalue.
From the Schrödinger equation we obtain
:
Substituting this into the Korteweg–de Vries equation and integrating gives the equation
:
where ''C'' and ''D'' are constants.
Method of solution
Step 1. Determine the nonlinear partial differential equation. This is usually accomplished by analyzing the
physics
Physics is the natural science that studies matter, its fundamental constituents, its motion and behavior through space and time, and the related entities of energy and force. "Physical science is that department of knowledge which rel ...
of the situation being studied.
Step 2. Employ ''forward scattering''. This consists in finding the
Lax pair In mathematics, in the theory of integrable systems, a Lax pair is a pair of time-dependent matrices or operators that satisfy a corresponding differential equation, called the ''Lax equation''. Lax pairs were introduced by Peter Lax to discuss s ...
. The Lax pair consists of two linear
operator
Operator may refer to:
Mathematics
* A symbol indicating a mathematical operation
* Logical operator or logical connective in mathematical logic
* Operator (mathematics), mapping that acts on elements of a space to produce elements of another ...
s,
and
, such that
and
. It is extremely important that the
eigenvalue
In linear algebra, an eigenvector () or characteristic vector of a linear transformation is a nonzero vector that changes at most by a scalar factor when that linear transformation is applied to it. The corresponding eigenvalue, often denot ...
be independent of time; i.e.
Necessary and sufficient conditions for this to occur are determined as follows: take the time
derivative
In mathematics, the derivative of a function of a real variable measures the sensitivity to change of the function value (output value) with respect to a change in its argument (input value). Derivatives are a fundamental tool of calculus. ...
of
to obtain
:
Plugging in
for
yields
:
Rearranging on the far right term gives us
:
Thus,
:
Since
, this implies that
if and only if
In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false.
The connective is bi ...
:
This is
Lax's equation In mathematics, in the theory of integrable systems, a Lax pair is a pair of time-dependent matrices or operator (mathematics), operators that satisfy a corresponding differential equation, called the ''Lax equation''. Lax pairs were introduced by P ...
. In Lax's equation is that
is the time derivative of
precisely where it explicitly depends on
. The reason for defining the differentiation this way is motivated by the simplest instance of
, which is the Schrödinger operator (see
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 th ...
):
:
where u is the "potential". Comparing the expression
with
shows us that
thus ignoring the first term.
After concocting the appropriate Lax pair it should be the case that Lax's equation recovers the original nonlinear PDE.
Step 3. Determine the time evolution of the eigenfunctions associated to each eigenvalue
, the norming constants, and the reflection coefficient, all three comprising the so-called scattering data. This time evolution is given by a system of linear
ordinary differential equations
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 contras ...
which can be solved.
Step 4. Perform the ''inverse scattering'' procedure by solving the
Gelfand–Levitan–Marchenko integral equation In mathematical physics, more specifically the one-dimensional inverse scattering problem, the Marchenko equation (or Gelfand-Levitan-Marchenko equation or GLM equation), named after Israel Gelfand, Boris Levitan and Vladimir Marchenko, is derived b ...
(
Israel Moiseevich Gelfand and
Boris Moiseevich Levitan;
Vladimir Aleksandrovich Marchenko
Vladimir Alexandrovich Marchenko (russian: Влади́мир Алекса́ндрович Ма́рченко, uk, Володи́мир Олекса́ндрович Ма́рченко; born 7 July 1922) is a Soviet and Ukrainian mathematician who ...
[V. A. Marchenko, "Sturm-Liouville Operators and Applications", Birkhäuser, Basel, 1986.]), a linear
integral equation
In mathematics, integral equations are equations in which an unknown function appears under an integral sign. In mathematical notation, integral equations may thus be expressed as being of the form: f(x_1,x_2,x_3,...,x_n ; u(x_1,x_2,x_3,...,x_n ...
, to obtain the final solution of the original nonlinear PDE. All the scattering data is required in order to do this. If the reflection coefficient is zero, the process becomes much easier. This step works if
is a differential or difference operator of order two, but not necessarily for higher orders. In all cases however, the ''inverse scattering'' problem is reducible to a
Riemann–Hilbert factorization problem.
(See Ablowitz-Clarkson (1991) for either approach. See Marchenko (1986) for a mathematical rigorous treatment.)
Examples of integrable equations
*
Korteweg–de Vries equation
*
nonlinear Schrödinger equation
*
Camassa-Holm equation
*
Sine-Gordon equation
*
Toda lattice The Toda lattice, introduced by , is a simple model for a one-dimensional crystal in solid state physics
Solid-state physics is the study of rigid matter, or solids, through methods such as quantum mechanics, crystallography, electromagnetism, and ...
*
Ishimori equation
*
Dym equation
In mathematics, and in particular in the theory of solitons, the Dym equation (HD) is the third-order partial differential equation
:u_t = u^3u_.\,
It is often written in the equivalent form for some function v of one space variable and time
...
Further examples of integrable equations may be found on the article
Integrable system
In mathematics, integrability is a property of certain dynamical systems. While there are several distinct formal definitions, informally speaking, an integrable system is a dynamical system with sufficiently many conserved quantities, or first i ...
.
References
*M. Ablowitz, H. Segur, ''Solitons and the Inverse Scattering Transform'', SIAM, Philadelphia, 1981.
*N. Asano, Y. Kato, ''Algebraic and Spectral Methods for Nonlinear Wave Equations'', Longman Scientific & Technical, Essex, England, 1990.
*M. Ablowitz, P. Clarkson, ''Solitons, Nonlinear Evolution Equations and Inverse Scattering'', Cambridge University Press, Cambridge, 1991.
*
*
*V. A. Marchenko, "Sturm-Liouville Operators and Applications", Birkhäuser, Basel, 1986.
*J. Shaw, ''Mathematical Principles of Optical Fiber Communications'', SIAM, Philadelphia, 2004.
* Eds: R.K. Bullough, P.J. Caudrey. "Solitons" Topics in Current Physics 17. Springer Verlag, Berlin-Heidelberg-New York, 1980.
External links
* {{small, (300
KiB)
Inverse Scattering Transform and the Theory of Solitons
Scattering theory
Exactly solvable models
Partial differential equations
Transforms
Integrable systems