# Fermi–Pasta–Ulam–Tsingou problem

(Redirected from Fermi-Pasta-Ulam problem)

In physics, the Fermi–Pasta–Ulam–Tsingou problem or formerly the Fermi–Pasta–Ulam problem was the apparent paradox in chaos theory that many complicated enough physical systems exhibited almost exactly periodic behavior – called Fermi–Pasta–Ulam–Tsingou recurrence (or Fermi–Pasta–Ulam recurrence) – instead of ergodic behavior. One of the resolutions of the paradox includes the insight that many non-linear equations are exactly integrable. Another may be that ergodic behavior may depend on the initial energy of the system.

## The FPUT experiment

In the summer of 1953 Enrico Fermi, John Pasta, Stanislaw Ulam, and Mary Tsingou conducted numerical experiments (i.e. computer simulations) of a vibrating string that included a non-linear term (quadratic in one test, cubic in another, and a piecewise linear approximation to a cubic in a third). They found that the behavior of the system was quite different from what intuition would have led them to expect. Fermi thought that after many iterations, the system would exhibit thermalization, an ergodic behavior in which the influence of the initial modes of vibration fade and the system becomes more or less random with all modes excited more or less equally. Instead, the system exhibited a very complicated quasi-periodic behavior. They published their results in a Los Alamos technical report in 1955. (Enrico Fermi died in 1954 and so this technical report was published after Fermi's death.)

The FPUT experiment was important both in showing the complexity of nonlinear system behavior and the value of computer simulation in analyzing systems.

### Name change

The original paper names Fermi, Pasta, and Ulam as authors (although Fermi died before the report was written) with an acknowledgement to Tsingou for her work in programming the MANIAC simulations. Mary Tsingou's contributions to the FPUT problem were largely ignored by the community until Dauxois (2008) published additional information regarding the development and called for the problem to be renamed to grant proper attribution.

## The FPUT lattice system

Fermi, Pasta, Ulam, and Tsingou simulated the vibrating string by solving the following discrete system of nearest-neighbor coupled oscillators. We follow the explanation as given in Palais's article. Let there be N oscillators representing a string of length with equilibrium positions ${\displaystyle p_{j}=jh,j=0,\dots ,N-1}$ where ${\displaystyle h=\ell /(N-1)}$ is the lattice spacing. Then the position of the jth oscillator as a function of time is ${\displaystyle X_{j}(t)=p_{j}+x_{j}(t)}$ so that ${\displaystyle x_{j}(t)}$ gives the displacement from equilibrium. FPUT used the following equations of motion:

${\displaystyle m{\ddot {x}}_{j}=k(x_{j+1}+x_{j-1}-2x_{j})[1+\alpha (x_{j+1}-x_{j-1})]}$

(Note: this equation is not equivalent to the classical one given in the French version of the article)

This is just Newton's second law for the jth particle. The first factor ${\displaystyle k(x_{j+1}+x_{j-1}-2x_{j})}$ is just the usual Hooke's law form for the force. The factor with ${\displaystyle \alpha }$ is the nonlinear force. We can rewrite this in terms of continuum quantities by defining ${\displaystyle c={\sqrt {\kappa /\rho }}}$ to be the wave speed, where ${\displaystyle \kappa =k/h}$ is the Young's modulus for the string and ${\displaystyle \rho =m/h^{3}}$ is the density:

${\displaystyle {\ddot {x}}_{j}={\frac {c^{2}}{h^{2}}}(x_{j+1}+x_{j-1}-2x_{j})[1+\alpha (x_{j+1}-x_{j-1})]}$

## Connection to the KdV equation

The continuum limit of the governing equations for the string (with the quadratic force term) is the Korteweg–de Vries equation (KdV equation.) The discovery of this relationship and of the soliton solutions of the KdV equation by Kruskal and Zabusky in 1965 was an important step forward in nonlinear system research. We reproduce below a derivation of this limit, which is rather tricky, as found in Palais's article. Beginning from the "continuum form" of the lattice equations above, we first define u(x,t) to be the displacement of the string at position x and time t. We'll then want a correspondence so that ${\displaystyle u(p_{j},t)}$ is ${\displaystyle x_{j}(t)}$.

${\displaystyle {\ddot {x}}_{j}={\frac {c^{2}}{h^{2}}}\left(x_{j+1}+x_{j-1}-2x_{j}\right)[1+\alpha (x_{j+1}-x_{j-1})]}$

We can use Taylor's theorem to rewrite the second factor for small ${\displaystyle h}$, (subscripts of u denote partial derivatives):

{\displaystyle {\begin{aligned}\left({\frac {x_{j+1}+x_{j-1}-2x_{j}}{h^{2}}}\right)&={\frac {u(x+h,t)+u(x-h,t)-2u(x,t)}{h^{2}}}\\&=u_{xx}(x,t)+\left({\frac {h^{2}}{12}}\right)u_{xxxx}(x,t)+O(h^{4}).\end{aligned}}}

Similarly, the second term in the third factor is:

${\displaystyle \alpha (x_{j+1}-x_{j-1})=2\alpha hu_{x}(x,t)+\left({\frac {\alpha h^{3}}{3}}\right)u_{xxx}(x,t)+O(h^{5}).}$

Thus, the FPUT system is:

${\displaystyle {\frac {1}{c^{2}}}u_{tt}-u_{xx}=(2\alpha h)u_{x}u_{xx}+\left({\frac {h^{2}}{12}}\right)u_{xxxx}+O(\alpha h^{2},h^{4}).}$

If one were to keep terms up to O(h) only and assume that ${\displaystyle 2\alpha h}$ approaches a limit, the resulting equation is one which develops shocks, which is not observed. Thus one keeps the O(h2) term as well:

${\displaystyle {\frac {1}{c^{2}}}u_{tt}-u_{xx}=(2\alpha h)u_{x}u_{xx}+\left({\frac {h^{2}}{12}}\right)u_{xxxx}.}$

We now make the following substitutions, motivated by the decomposition of traveling wave solutions (of the ordinary wave equation, to which this reduces when ${\displaystyle \alpha ,h}$ vanish) into left- and right-moving waves, so that we only consider a right-moving wave. Let ${\displaystyle \xi =x-ct,\tau =(\alpha h)ct,y(\xi ,\tau )=u(x,t)}$. Under this change of coordinates, the equation becomes:

${\displaystyle y_{\xi \tau }-\left({\frac {\alpha h}{2}}\right)y_{\tau \tau }=-y_{\xi }y_{\xi \xi }-\left({\frac {h}{24\alpha }}\right)y_{\xi \xi \xi \xi }.}$

To take the continuum limit, assume that ${\displaystyle \alpha /h}$ tends to a constant and ${\displaystyle \alpha ,h}$ tend to zero. If we take ${\displaystyle \delta =\lim _{h\rightarrow 0}{\sqrt {h/(24\alpha )}}}$, then:

${\displaystyle y_{\xi \tau }=-y_{\xi }y_{\xi \xi }-\delta ^{2}y_{\xi \xi \xi \xi }.}$

Taking ${\displaystyle v=y_{\xi }}$ results in the KdV equation:

${\displaystyle v_{\tau }+vv_{\xi }+\delta ^{2}v_{\xi \xi \xi }=0.}$

Zabusky and Kruskal argued that it was the fact that soliton solutions of the KdV equation can pass through one another without affecting the asymptotic shapes that explained the quasi-periodicity of the waves in the FPUT experiment. In short, thermalization could not occur because of a certain "soliton symmetry" in the system which broke ergodicity.