1
$\begingroup$

For $k>0$, consider the Camassa-Holm equation: $$ u_t-u_{txx}+2k u_x=-3uu_x+2u_xu_{xx}+uu_{xxx}, \quad (t,x)\in\mathbb{R}^2. $$ I've been trying to (formally) recover the second of its well-known conservation laws, that is to say, to prove that the following functional $$ F(u):=\int \big(u^3+uu_x^2+2k u^2\big)dx, $$ is conserved. In other words, considering smooth solutions decaying sufficiently fast at $\pm\infty$, proving that the time derivative of $F(u(t))$ is equivalently zero. It is very intriguing for me that I have tried by multiplying the equation by all sort of factors, like $u^2$, $u_x^2$,... and then integrating in $\mathbb{R}$, and performing several integration by parts, but it has been imposible for me to recover the conservation law. Does anyone know how to do it? It also intrigues me that the first two terms in the conservation law are cubic, but the last one is just quadratic, that makes me thinks that this is not just multiplying the equation (not at least once) and performing some integration by parts.

$\endgroup$

1 Answer 1

3
$\begingroup$

The following should work.

First, denote by $U(t,x) = \int_{-\infty}^x u(t,y) ~dy$.

If you write the equation as $$ u_t-u_{txx}+2k u_x=-3uu_x+u_xu_{xx}+(uu_{xx})_x$$ and take the primitive in $x$, you find $$ U_t - u_{tx} + 2k u + \frac32 u^2 - \frac12 (u_x)^2 - u u_{xx} = 0. $$ Now, multiply the entire equation by $u_t$ and integrate over $x$ over the entire $\mathbb{R}$.

  • The first two terms vanish since they are integration of a real function against its first derivative.
  • The final term you integrate by part in $x$.

This should yield you

$$ \int 2 k u u_t + \frac32 u^2 u_t + \frac12 (u_x)^2 u_t + u u_{tx} u_{x} ~dx = 0 $$

which gives

$$ \frac{d}{dt} \int k u^2 + \frac12 u^3 + \frac12 u (u_x)^2 ~dx = 0 $$

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.