next up previous
Next: Appendix B:    The Harry Dym Up: The Painlevé Property for Previous: The Schwarzian Derivative

Appendix A:    Recursion Relations for the KdV Equation and Conserved Densities

For the KdV equation

\begin{displaymath}u_t+{\partial\over\partial x}\left({u^2\over 2}+u_{xx}\right)=0\eqno
(A1)\end{displaymath}

we get

\begin{displaymath}u=\phi^{-2}\sum_{j=0}^{\infty} u_j\phi^j\eqno (A2)\end{displaymath}

and find

\begin{displaymath}u_{j-3,t}+(j-4)\phi_t u_{j-2}+\psi_{j-1,x}+(j-4)\phi_x\psi_j=0 ,
\eqno (A3)\end{displaymath}

where

\begin{displaymath}\psi_j=\sum_{m=0}^j {u_{j-m}u_m\over 2}+\theta_{j-1,x}+(j-3)\phi_x
\theta_j\eqno (A4)\end{displaymath}

and

\begin{displaymath}\theta_j=u_{j-1,x}+(j-2)\phi_x u_j .\eqno (A5)\end{displaymath}

In (A2), $(\phi,u_4,u_6)$ are arbitrary.

In this appendix we show how the recursion relations (A3) may be used to formally define an infinite set of conserved densities for the KdV equation. By repeated application of (A3) for $j,j+1,\ldots$ it is easily demonstrated that

\begin{displaymath}{\partial\over\partial t}A_j+{\partial\over\partial x}B_j=0 ,\eqno
(A6)\end{displaymath}

where

\begin{displaymath}\null \vcenter{\openup\jot
\ialign{\strut\hfil$\displaysty...
...&+(j-4)(j-3)(j-2)(\phi^3/3!)u_j+\cdots ,\cr\crcr}} \eqno (A7)\end{displaymath}

or, for $j\ge 5$,

\begin{displaymath}\null \vcenter{\openup\jot
\ialign{\strut\hfil$\displaysty...
...5}=\sum_{K=0}^{\infty} u_{j+2+K}\phi^K ,\cr\crcr}} \eqno (A8)\end{displaymath}

and

\begin{displaymath}\null \vcenter{\openup\jot
\ialign{\strut\hfil$\displaysty...
...(j-3)(j-2)(\phi^3/3!)\psi_{j+2}+\cdots ,\cr\crcr}} \eqno (A9)\end{displaymath}

or, for $j\ge 5$,

\begin{displaymath}\null \vcenter{\openup\jot
\ialign{\strut\hfil$\displaysty...
...\sum_{K=0}^{\infty}\psi_{j+4+K}\phi^K .\cr\crcr}} \eqno (A10)\end{displaymath}

For the conserved densities $A_j$, we find that

\begin{displaymath}\null \vcenter{\openup\jot
\ialign{\strut\hfil$\displaysty...
...phi\phi_x)_x ,\cr
A_4&=12(\phi_x)_x .\cr\crcr}} \eqno (A11)\end{displaymath}

Thus, the densities $A_0-A_4$ are trivial, i.e., gradients. Furthermore,

\begin{displaymath}A_5=\sum_{K=2}^{\infty} u_K\phi^{K-2}=\sum_{K=0}^{\infty} u_{K+2}
\phi^K\eqno (A12)\end{displaymath}

and

\begin{displaymath}A_{5+j}={1\over j!}{\delta^j\over\delta\phi^j} A_5 ,\eqno (A13)\end{displaymath}

where, for constant $\epsilon$,

\begin{displaymath}{\delta\over\delta\phi} f(\phi)={d\over d\epsilon} f(\phi+\epsilon)
\vert_{\epsilon=0} .\end{displaymath}

We note that

\begin{displaymath}u=12{\partial^2\over\partial x^2}\ln\phi+A_5 .\eqno (A14)\end{displaymath}


next up previous
Next: Appendix B:    The Harry Dym Up: The Painlevé Property for Previous: The Schwarzian Derivative
John Edward Weiss 2002-03-31