Inverse scattering transform
   HOME

TheInfoList



OR:

In
mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern 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 ...
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 ...
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 In theoretical physics, the (one-dimensional) nonlinear Schrödinger equation (NLSE) is a nonlinear variation of the Schrödinger equation. It is a classical field equation whose principal applications are to the propagation of light in nonlin ...
, 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. It is famous because it is one of the earliest examples of a non-linear completely integrable system. It is given by a chain of particles with ...
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 Petviash ...
, the
Ishimori equation The Ishimori equation is a partial differential equation proposed by the Japanese mathematician . Its interest is as the first example of a nonlinear spin-one field model in the plane that is integrable . Equation The Ishimori equation has the for ...
, 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 (for a given gauge group and oriented Riemannian 3-fold), the L^2 solutions of which are
magnetic monopoles In particle physics, a magnetic monopole is a hypothetical elementary particle that is an isolated magnet with only one magnetic pole (a north pole without a south pole or vice versa). A magnetic monopole would have a net north or south "magneti ...
. A characteristic of solutions obtained by the inverse scattering method is the existence of
solitons In mathematics and physics, a soliton or solitary wave is a self-reinforcing wave packet that maintains its shape while it propagates at a constant velocity. Solitons are caused by a cancellation of nonlinear and dispersive effects in the mediu ...
, 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 calculus, multivariable function. The function is often thought of as an "unknown" to be sol ...
for a
function Function or functionality may refer to: Computing * Function key, a type of key on computer keyboards * Function model, a structured representation of processes in a system * Function object or functor or functionoid, a concept of object-oriente ...
''u''; of two
real Real may refer to: Currencies * Brazilian real (R$) * Central American Republic real * Mexican real * Portuguese real * Spanish real * Spanish colonial real Music Albums * ''Real'' (L'Arc-en-Ciel album) (2000) * ''Real'' (Bright album) (2010) ...
variables, one space variable ''x'' and one time variable ''t'' : : u_t - 6uu_x + u_ = 0 with u_t and u_x 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). Part ...
s with respect to ''t'' and ''x'', respectively. To solve the initial value problem for this equation where u(x,0) is a known function of ''x'', one associates to this equation the Schrödinger eigenvalue equation : \psi_ -u\psi=\lambda\psi. where \psi is an unknown function of ''t'' and ''x'' and ''u'' is the solution of the Korteweg–de Vries equation that is unknown except at t=0. The constant \lambda is an eigenvalue. From the Schrödinger equation we obtain : u=\frac \psi_ - \lambda. Substituting this into the Korteweg–de Vries equation and integrating gives the equation : \psi_t + \psi_ -3(u-\lambda) \psi_x = C\psi+D\psi\int \frac dx 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 r ...
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 sol ...
. The Lax pair consists of two linear operators, L and M, such that Lv=\lambda v and v_t=Mv. 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 denoted b ...
\lambda be independent of time; i.e. \lambda_t=0. 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. F ...
of Lv=\lambda v to obtain :L_t v + L v_t = \lambda_t v + \lambda v_t . Plugging in Mv for v_t yields :L_t v + LMv = \lambda_t v + \lambda Mv. Rearranging on the far right term gives us :L_t v + LMv = \lambda_t v + MLv. Thus, :L_t v + LMv - MLv = \lambda_t v. Since v\not=0, this implies that \lambda_t = 0
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 bicondi ...
:L_t + LM - ML = 0. \, This is
Lax's equation 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 so ...
. In Lax's equation is that L_t is the time derivative of L precisely where it explicitly depends on t. The reason for defining the differentiation this way is motivated by the simplest instance of L, 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 ...
): :L = \partial_ + u, where u is the "potential". Comparing the expression L_t v + L v_t with \partial_t \left(v_ +uv\right) shows us that L_t = u_t, 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 \lambda, 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 contrast w ...
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 Israel Moiseevich Gelfand, also written Israïl Moyseyovich Gel'fand, or Izrail M. Gelfand ( yi, ישראל געלפֿאַנד, russian: Изра́иль Моисе́евич Гельфа́нд, uk, Ізраїль Мойсейович Гел ...
and
Boris Moiseevich Levitan Boris Levitan (7 June 1914 – 4 April 2004) was a mathematician known in particular for his work on almost periodic functions, and Sturm–Liouville operators, especially, on inverse scattering. Life Boris Levitan was born in Berdyans ...
; Vladimir Aleksandrovich MarchenkoV. 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 (mathematics), 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 ; ...
, 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 L 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 In theoretical physics, the (one-dimensional) nonlinear Schrödinger equation (NLSE) is a nonlinear variation of the Schrödinger equation. It is a classical field equation whose principal applications are to the propagation of light in nonlin ...
* 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. It is famous because it is one of the earliest examples of a non-linear completely integrable system. It is given by a chain of particles with ...
*
Ishimori equation The Ishimori equation is a partial differential equation proposed by the Japanese mathematician . Its interest is as the first example of a nonlinear spin-one field model in the plane that is integrable . Equation The Ishimori equation has the for ...
*
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 ...
.


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 The byte is a unit of digital information that most commonly consists of eight bits. Historically, the byte was the number of bits used to encode a single character of text in a computer and for this reason it is the smallest addressable unit ...
)
Inverse Scattering Transform and the Theory of Solitons
Scattering theory Exactly solvable models Partial differential equations Transforms Integrable systems