Generic singularity behavior of conservative solutions to the Novikov equation

Abstract

In this paper, we concentrate on the Novikov equation. We provide a description of the solution in a neighborhood of each singular point. The result shows the difference of the conservative solution’s singularity behavior the between the Camassa-Holm equaation and the Novikov equation
2010 Mathematics Subject Classification: 35Q30, 76B03, 76D05, 76D99.

Keywords: Novikov equation; generic regularity; conservative weak solution;singularity

 

1 Introduction

Consideration here is the initial-value problem for the Novikov equation in the form

(1.1) $$\left\{\begin{array}[]{l}u_{t}+u^{2}u_{x}+\partial_{x}P_{1}+P_{2}=0,\\ u(0,x)=u_{0}(x),\quad x\in\mathbb{R}.\end{array}\right.$$

where

$$P_{1}\triangleq p\ast(\frac{3}{2}uu_{x}^{2}+u^{3})\quad\textit{and}\quad P_{2}\triangleq\frac{1}{2}p\ast u_{x}^{3}$$

with $p(x)=\frac{1}{2}e^{-|x|}$. The equation was proposed by Novikov in [12]. In [7], Chen, Hu and Liu showed that the Novikov equation can be viewed as a shallow water model.

There is a huge literature devoted to the equations (1.1), local well-posedness can be referred to [8, 9, 10, 14, 15, 16, 17]. Chen, Zhang and Liu[6] proved the existence and uniqueness of conservative solutions for the Novikov equation in $H^{1}\cap W^{1,4}$.

Recently, Li and Zhang [11] proved the generic property and the singular behavior of the Camassa-Holm equation and the two-component Camassa-Holm equation. The original result was studied by Schaeffer in [13], which showed that for the one space dimensional conservation law, the generic solutions are piecewise smooth, with finitely shocks in a bounded domain in the $(t,x)$ plane. Bressan and his collaborators[1, 2, 3] studied generic property and singularity behavior for the variational wave equation. Yang [18] studied generic regularity of energy conservative solutions to the rotation Camassa-Holm equation. Cai, Chen, Shen and Tan [5] studied the generic property of conservative solutions to the Hunter-Saxton type equations and give a new way to construct a Finsler type metric which renders the flow uniformly Lipschitz continuous on bounded subsets of $H^{1}(\mathbb{R^{+}})$.

The generic property of the Novikov equation has been studied in [4]. In [6], the authors pointed out that the singularity for the conservative solutions of the Novikov equation is difference between the Camassa-Holm equation. The wave speed $c(u)$ for the Camassa-Holm equation is $u$ and for the Novikov equation is $u^{2}$. Because of the difference nonlinearity of wave speed, the singularity behaviour is various. In this paper, we give a exactly proof to show that why the singularity is various between the Camassa-Holm equation and the Novikov equation.

From the above generic regularity, we can obtain the asymptotic description of the solution in a neighborhood of each singular point, where $|u_{x}|\rightarrow\infty$.

Theorem 1.1.

Consider generic initial data $u_{0}\in C^{3}(\mathbb{R})\cap H^{1}(\mathbb{R})\cap W^{1,4}(\mathbb{R})$ as in [4], with $u_{0}\in C^{\infty}(\mathbb{R})$. Call $(u,v,\xi,x,t)$ the corresponding solution of the semilinear system (2.9) and let u=u(x,t) be the solution to the original equation (1.1). Consider a singular point $P=(t_{0},Y_{0})$ where v=$\pi$, and set $(x_{0},t_{0})=(x(t_{0},Y_{0}),t(t_{0},Y_{0}))$. Generically, at the singular point, u has following parameteric expression.

• If P is a point of Type $\mathcal{I}$ , i.e.$v_{Y}=0$ and $v_{YY}\neq 0$ $v=\pi,~{}~{}v_{Y}$ then

  (1.2) $$u(t,x)=A(x-x_{0})^{\frac{3}{4}}+B(t-t_{0})+\mathcal{O}(1)(|t-t_{0}|^{2}+|x-x_{0}|^{\frac{7}{8}})$$

  for some constant $A,B$.

• If P is a point of Type $\mathcal{I}\mathcal{I}$ , i.e.$v_{Y}\neq 0$ and $v_{YY}=0$ $v=\pi,~{}~{}v_{Y}$ then

  (1.3) $$u(t,x)=A(x-x_{0})^{\frac{4}{5}}+B(t-t_{0})+\mathcal{O}(1)(|t-t_{0}|^{2}+|x-x_{0}|)$$

  for some constant $A,B$.

2 Generic singularity behavior

For smooth data $u_{0}\in C^{\infty}(\mathbb{R})$, the solution $(t,Y)\rightarrow(x,t,u,v,q)(t,Y)$ of the semilinear system (2.9), with initial data as in (2.10), remains smooth on the entire t-Y plane. Yet the smoothness of the solution u of (1.1) is still needed to study because the coordinate change:(Y,t)$\rightarrow$(x,t) is not smoothly invertible. By definitions, its Jacobian matrix is computed by

(2.5) $$\begin{pmatrix}x_{Y}&x_{t}\\ t_{Y}&t_{t}\end{pmatrix}=\begin{pmatrix}qcos^{4}\frac{v}{2}&u\\ 0&1\end{pmatrix}.$$

And we will observe that the matrix is invertible when $v\neq\pi$. To study the set of points in the $t-x$ plane where $u$ is singular, we thus need to look at points where $v=\pi$.

For simplicity, we shall assume that the initial data $u_{0}$ are smooth , so we shall not need to count how many derivatives are actually used to derive the Talyor approximations.

Proof.

Following the idea in [6], the characteristic equation is

(2.6) $$\frac{dx(t)}{dt}=u^{2}(t,x(t)).$$

If we consider $Y=Y(t,x)$ is a characteristic coordinate, and denote $T=t$. Then we consider function $f(t,x)=f(T,x(t,Y))$ as a function of $(T,Y)$ also denoted by $f(T,Y)$.It is easy to check that

(2.7) $$f_{t}+u^{2}f_{x}=f_{Y}(Y_{t}+u^{2}Y_{x})+f_{t}(T_{t}+u^{2}T_{x})=f_{T}.$$

We also denote

(2.8) $$v=2\arctan u_{x},~{}~{}~{}q=\frac{(1+u_{x}^{2})^{2}}{Y_{x}}.$$

Then the conservative solution is constructed by the following semilinear system

(2.9) $$\left\{\begin{array}[]{l}u_{T}=-\partial_{x}P_{1}-P_{2}\\ v_{T}=-u\sin^{2}\frac{v}{2}+2u^{3}\cos^{2}\frac{v}{2}-2\cos^{2}\frac{v}{2}(P_{1}+\partial_{x}P_{2}),\\ q_{T}=q[(2u^{3}+u)-2(P_{1}+\partial_{x}P_{2})]\sin v,\end{array}\right.$$

with the initial condition

(2.10) $$\left\{\begin{array}[]{l}u(0,\beta)=u_{0}(x(0,\beta))\\ v(0,\beta)=2\arctan(u_{0}^{\prime}(x(0,\beta))),\\ q(0,\beta)=1.\end{array}\right.$$

for every $\beta\in\mathbb{R}$. To study the singularities of the solution $u$ of (1.1), we should focus on the level sets $\{v(t,Y)=\pi\}.$ Let $(u,v,\xi)$ be the smooth solution of (2.9). And take derivatives to the equation of $v$, we obtain

$$\frac{\partial}{\partial_{T}}v_{Y}= -u_{Y}\sin^{2}(\frac{v}{2})-u\cos(\frac{v}{2})\sin(\frac{v}{2})v_{Y}+6u_{Y}u^{2}\cos^{2}(\frac{v}{2})-2u^{3}(\sin\frac{v}{2}\cos\frac{v}{2}v_{Y})$$

$$+\cos(\frac{v}{2})\sin(\frac{v}{2})v_{Y}(P_{1}+\partial_{x}P_{2})-2\cos^{2}\frac{v}{2}(\partial_{Y}P_{1}+\partial_{Y}\partial_{x}P_{2})$$

$$=-u_{Y}\sin^{2}(\frac{v}{2})-\frac{1}{2}uv_{Y}\sin v+6u_{Y}u^{2}\cos^{2}(\frac{v}{2})-u^{3}v_{Y}\sin v$$

(2.11) $$+\frac{1}{2}\cos vv_{Y}(P_{1}+\partial_{x}P_{2})-(\cos v+1)(\partial_{Y}P_{1}+\partial_{Y}\partial_{x}P_{2}).$$

Following the same line

(2.12) $$\begin{split}\frac{\partial}{\partial_{T}}v_{YY}=&u_{YY}(\sin^{2}\frac{Y}{2}+\frac{1}{2}v_{Y}\sin v+6u^{2}\cos^{2}\frac{v}{2}-u^{3}\sin v)+v_{Y}(-\frac{1}{2}u_{Y}\sin v-\frac{1}{2}v_{Y}\cos v-u^{3}v_{Y}\cos v)\\ &-\frac{1}{2}\sin vv_{Y}^{2}(P_{1}+\partial_{x}P_{2})+v_{Y}(\partial_{Y}P_{1}+\partial_{Y}\partial_{x}P_{2})(\frac{1}{2}\cos v+\sin v)-(\cos v+1)(\partial_{Y}\partial_{x}P_{1}+\partial_{Y}^{2}\partial_{x}P_{2}).\\ &\frac{\partial}{\partial_{t}}q_{Y}=\xi_{Y}[(2u^{3}+u)-2(P_{1}+\partial_{x}P_{2})]\sin v+q[(2u^{3}+u)-2(P_{1}+\partial_{x}P_{2})]\cos vv_{Y}\\ &~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}+q[(6u^{2}u_{Y}+u_{Y})-2(\partial_{Y}P_{1}+\partial_{Y}\partial_{x}P_{2})]\sin v,\end{split}$$

We consider the situations as 1. Let P be the point of Type $\mathcal{I}$ Recalling (2.8) and (2.9) then we will have

(2.13) $$u_{Y}=u_{x}x_{Y}=\frac{1}{2}q\cdot\sin~{}v\cdot\cos^{2}\frac{v}{2}.$$

In a similar way, we obtain

$$u_{YY} =\frac{1}{2}q_{Y}\cdot\sin v\cdot\ cos^{2}\frac{v}{2}+\frac{1}{2}q\cdot v_{Y}\cdot\cos v\cdot\cos^{2}\frac{v}{2}-\frac{v_{Y}}{4}\cdot q\sin^{2}v,$$

$$u_{Yt} =\frac{1}{2}qsin^{2}vcos^{2}\frac{v}{2}\big{(}(2u^{3}+u)sin^{2}\frac{v}{2}-2(P_{1}+\partial_{x}P_{2})+(2u^{3}+u)cos^{2}\frac{v}{2}\big{)}$$

(2.14) $$+\frac{1}{2}(1-4sin^{2}\frac{v}{2})cos^{2}\frac{v}{2}\big{(}-usin^{2}\frac{v}{2}+2u^{3}cos^{2}\frac{v}{2}-2cos^{2}\frac{v}{2}(P_{1}+\partial_{x}P_{2})\big{)}.$$

At the point P, provides us with that $v_{Y}=0,~{}v_{t}=0$ and $v_{YY}\neq 0$. If we denote $u_{Y^{n}}$ that u is differentiated with Y by n times. It is not hard to check

(2.15) $$u_{Y^{3}}=0,~{}~{}~{}u_{Y^{4}}=0,~{}~{}~{}u_{Y^{5}}=0,~{}~{}~{}u_{Y^{6}}=\frac{6}{8}qv_{YY}^{3}cosvsin^{2}\frac{v}{2}-3v_{YY}^{3}qcos^{2}v$$

which means $u_{Y^{6}}\neq 0$ Following the same method, we obtain that

(2.16) $$u_{Y^{2}t}=0,~{}~{}~{}u_{Y^{3}t}=0,~{}~{}~{}u_{Y^{4}t}=0,~{}~{}~{}u_{Y^{5}t}=\frac{6}{8}qv_{YY}^{2}v_{Yt}cosvsin^{2}\frac{v}{2}-3v_{YY}^{2}v_{Yt}qcos^{2}v$$

we will have $u_{Y^{5}t}=0$.

So we have Taylor approximations of u at the singular point $P=(t_{0},Y_{0})$

(2.17) $$u(t,Y)=B_{1}(t-t_{0})+B_{3}(Y-Y_{0})^{6}+\mathcal{O}(1)({\lvert t-t_{0}\rvert}^{2},{\lvert Y-Y_{0}\rvert}^{7})$$

By (2.8) and (2.9), we can obtain

(2.18) $$x_{Y}=\frac{\xi}{(1+u_{x}^{2})^{2}}=qcos^{4}\frac{v}{2},$$

similarly we have

(2.19) $$x_{YY} =q_{Y}cos^{4}\frac{v}{2}-2qv_{Y}cos^{3}\frac{v}{2}sin\frac{v}{2}~{}~{}~{}~{}~{}~{}x_{Yt}=q_{t}cos^{4}\frac{v}{2}-2q,v_{t}sin\frac{v}{2}cos^{3}\frac{v}{2},$$

so it is easy to check that in the point P

$$x_{Y^{i}}=0,~{}~{}~{}~{}(i=1,2,3,4,5,6,7)$$

and

(2.20) $$x_{Y^{8}} =36qv_{YY}^{4}sin^{4}\frac{v}{2}~{}~{}~{}~{}~{}~{}x_{Y^{7}t}=36qv_{YY}^{3}v_{Yt}sin^{4}\frac{v}{2}.$$

So we have the Taylor approximations of x at the singular point $P=(t_{0},Y_{0})$

(2.21) $$x(t,Y)=x(t_{0},Y)+A_{2}(Y-Y_{0})^{8}+\mathcal{O}(1)(\lvert t-t_{0}\rvert^{2},\lvert Y-Y_{0}\rvert^{9}).$$

We combine 2.17 and (2.21) to deduce (1.2).

2.If P is of type $\mathcal{I}\mathcal{I}$,we have

(2.22) $$v=\pi,~{}~{}~{}v_{Y}\neq 0,~{}~{}~{}v_{YY}=0$$

which implies

(2.23) $$u_{Y}=u_{YY}=u_{Y^{3}}=u_{Yt}=u_{Y^{2}t}=u_{Y^{3}t}=0$$

(2.24) $$u_{Y^{4}}=\frac{1}{4}qv_{Y}^{3}cosv\sin^{2}\frac{v}{2}-\frac{{v_{Y}}^{3}}{2}q\cos^{2}v=\frac{1}{2}v_{Y}^{3}q\neq 0.$$

Then we obtain the Taylor approximation of u is

(2.25) $$u(t,Y)=B_{1}(t-t_{0})+B_{2}(Y-Y_{0})^{4}+\mathcal{O}(1)(|t-t_{0}|^{2}+|Y-Y_{0}|^{5})$$

At point P,

(2.26) $$x_{Y}=0,~{}~{}~{}x_{Y^{2}}=0,~{}~{}~{}x_{Y^{3}}=0,~{}~{}~{}x_{Y^{4}}=0,$$

(2.27) $$x_{Yt}=0,~{}~{}~{}x_{Y^{2}t}=0,~{}~{}~{}x_{Y^{3}t}=0~{}~{}~{},~{}~{}~{}x_{Y^{4}t}=0,$$

(2.28) $$x_{Y^{5}}=\frac{3}{2}qv_{Y}^{3}cos^{3}v\neq 0.$$

This leads

(2.29) $$x(t,Y)=x(t_{0},Y_{0})+A_{2}(Y-Y_{0})^{5}+\mathcal{O}(1)(\lvert t-t_{0}\rvert^{2},\lvert Y-Y_{0}\rvert^{6})$$

So (1.3) can be concluded from (2.25) and (2.29). ∎

Remark 2.1.

We found that the generic property of the Novikov equation is different from the property of the Camassa-Holm equation. For the Camassa-Holm equation , if $v(t_{0},Y_{0})=0$ for some point $(t_{0},Y_{0})\in\Gamma$ then one can see that $v_{t}\neq 0,v_{Y}\neq 0$. Utilizing the implicit function theorem, we can obtain the solution is of $C^{2}$ smooth in [11]. However, for the Novikov equation, the case $v_{Y}=0$ will happen, which means we lost some part of the information. We can only assure that the solution is at least differentiable in the complement of finitely many characteristic curves. We believe that this difference is caused by the energy concentration. For the Camassa-Holm equation when the characteristic meet tangentially, they will separate immediately. However, for the Novikov equation, when the characteristics tangentially touch each other, they will stay for a period of time.

$\Box$

Acknowledgments This work was partially supported by the National Key R&D Program of China ( No. 2021YFA1002100), the National Natural Science Foundation of China (No.12171493 and No.11701586), and the Natural Science Foundation of Guangdong province (No. 2021A1515010296 and 2022A1515011798).