Inverse scattering transform

From HandWiki
Short description: Method for solving certain non-linear partial differential equations

In mathematics, the inverse scattering transform is a method for solving some non-linear partial differential equations. The method is a non-linear analogue, and in some sense generalization, of the Fourier transform, 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 models, that is to say completely integrable infinite dimensional systems.

Overview

The inverse scattering transform was first introduced by Clifford S. Gardner, John M. Greene, and Martin D. Kruskal et al. (1967, 1974) for the Korteweg–de Vries equation, and soon extended to the nonlinear Schrödinger equation, the Sine-Gordon equation, and the Toda lattice equation. It was later used to solve many other equations, such as the Kadomtsev–Petviashvili equation, the Ishimori equation, the Dym equation, 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 [math]\displaystyle{ L^2 }[/math] 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 for a function u; of two real variables, one space variable x and one time variable t :

[math]\displaystyle{ u_t - 6uu_x + u_{xxx} = 0 }[/math]

with [math]\displaystyle{ u_t }[/math] and [math]\displaystyle{ u_x }[/math] denoting partial derivatives with respect to t and x, respectively.

To solve the initial value problem for this equation where [math]\displaystyle{ u(x,0) }[/math] is a known function of x, one associates to this equation the Schrödinger eigenvalue equation

[math]\displaystyle{ \psi_{xx} -u\psi=\lambda\psi. }[/math]

where [math]\displaystyle{ \psi }[/math] is an unknown function of t and x and u is the solution of the Korteweg–de Vries equation that is unknown except at [math]\displaystyle{ t=0 }[/math]. The constant [math]\displaystyle{ \lambda }[/math] is an eigenvalue.

From the Schrödinger equation we obtain

[math]\displaystyle{ u=\frac{1}{\psi} \psi_{xx} - \lambda. }[/math]

Substituting this into the Korteweg–de Vries equation and integrating gives the equation

[math]\displaystyle{ \psi_t + \psi_{xxx} -3(u-\lambda) \psi_x = C\psi+D\psi\int \frac{1}{\psi^2} dx }[/math]

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 of the situation being studied.

Step 2. Employ forward scattering. This consists in finding the Lax pair. The Lax pair consists of two linear operators, [math]\displaystyle{ L }[/math] and [math]\displaystyle{ M }[/math], such that [math]\displaystyle{ Lv=\lambda v }[/math] and [math]\displaystyle{ v_t=Mv }[/math]. It is extremely important that the eigenvalue [math]\displaystyle{ \lambda }[/math] be independent of time; i.e. [math]\displaystyle{ \lambda_t=0. }[/math] Necessary and sufficient conditions for this to occur are determined as follows: take the time derivative of [math]\displaystyle{ Lv=\lambda v }[/math] to obtain

[math]\displaystyle{ L_t v + L v_t = \lambda_t v + \lambda v_t . }[/math]

Plugging in [math]\displaystyle{ Mv }[/math] for [math]\displaystyle{ v_t }[/math] yields

[math]\displaystyle{ L_t v + LMv = \lambda_t v + \lambda Mv. }[/math]

Rearranging on the far right term gives us

[math]\displaystyle{ L_t v + LMv = \lambda_t v + MLv. }[/math]

Thus,

[math]\displaystyle{ L_t v + LMv - MLv = \lambda_t v. }[/math]

Since [math]\displaystyle{ v\not=0 }[/math], this implies that [math]\displaystyle{ \lambda_t = 0 }[/math] if and only if

[math]\displaystyle{ L_t + LM - ML = 0. \, }[/math]

This is Lax's equation. In Lax's equation is that [math]\displaystyle{ L_t }[/math] is the time derivative of [math]\displaystyle{ L }[/math] precisely where it explicitly depends on [math]\displaystyle{ t }[/math]. The reason for defining the differentiation this way is motivated by the simplest instance of [math]\displaystyle{ L }[/math], which is the Schrödinger operator (see Schrödinger equation):

[math]\displaystyle{ L = \partial_{xx} + u, }[/math]

where u is the "potential". Comparing the expression [math]\displaystyle{ L_t v + L v_t }[/math] with [math]\displaystyle{ \partial_t \left(v_{xx} +uv\right) }[/math] shows us that [math]\displaystyle{ L_t = u_t, }[/math] 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 [math]\displaystyle{ \lambda }[/math], 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 which can be solved.

Step 4. Perform the inverse scattering procedure by solving the Gelfand–Levitan–Marchenko integral equation (Israel Moiseevich Gelfand and Boris Moiseevich Levitan;[1] Vladimir Aleksandrovich Marchenko[2]), a linear integral equation, 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 [math]\displaystyle{ L }[/math] 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

Further examples of integrable equations may be found on the article Integrable system.

See also

References

  1. Gel’fand, I. M. & Levitan, B. M., "On the determination of a differential equation from its spectral function". American Mathematical Society Translations, (2)1:253–304, 1955.
  2. V. A. Marchenko, "Sturm-Liouville Operators and Applications", Birkhäuser, Basel, 1986.

Further reading

  • 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.
  • Gardner, Clifford S.; Greene, John M.; Kruskal, Martin D.; Miura, Robert M. (1967), "Method for Solving the Korteweg-deVries Equation", Physical Review Letters 19 (19): 1095–1097, doi:10.1103/PhysRevLett.19.1095, Bibcode1967PhRvL..19.1095G 
  • Gardner, Clifford S.; Greene, John M.; Kruskal, Martin D.; Miura, Robert M. (1974), "Korteweg-deVries equation and generalization. VI. Methods for exact solution.", Comm. Pure Appl. Math. 27: 97–133, doi:10.1002/cpa.3160270108 
  • 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