Skip to main content

Lipschitz stability in an inverse problem for the Korteweg-de Vries equation on a finite domain


In this paper, we address an inverse problem for the Korteweg-de Vries equation posed on a bounded domain with boundary conditions proposed by Colin and Ghidaglia. More precisely, we retrieve the principal coefficient from the measurements of the solution on a part of the boundary and also at some positive time in the whole space domain. The Lipschitz stability of this inverse problem relies on a Carleman estimate for the linearized Korteweg-de Vries equation and the Bukhgeı̌m-Klibanov method.

1 Introduction

This paper is concerned with the Korteweg-de Vries (KdV) equation with a non-constant coefficient posed on a finite interval

$$\begin{aligned} \textstyle\begin{cases} y_{t}+a(x)y_{xxx}+y_{x}+yy_{x}=0, & \mbox{in }Q,\\ y(0,t)=y_{x}(L,t)=y_{xx}(L,t)=0, & \mbox{in } (0,T),\\ y(x,0)=y_{0}(x), &\mbox{in } (0,L), \end{cases}\displaystyle \end{aligned}$$

where \(L,T>0\), \(Q=(0,L)\times(0,T)\), the initial data \(y_{0}\) is known and the unknown coefficient \(a=a(x)\) is assumed to be time independent.

The KdV equation,

$$y_{t}+y_{x}+y_{xxx}+yy_{x}=0, $$

was first derived by Korteweg and de Vries [1] in 1895 (or by Boussinesq [2] in 1876) as a model for the propagation of some surface water waves along a channel. In applications to physical problems, the independent variable x is often a coordinate representing position in the medium of propagation, t is proportional to elapsed time, and \(y(x,t)\) is a velocity or an amplitude at point x at time t. Based on the results in [36], if \(h=h(x)\) is the function describing the variations in depth of the channel, then the KdV equation becomes (after scaling)

$$y_{t}+(\sqrt{h}y)_{x}+h^{2}y_{xxx}+ \frac{1}{\sqrt{h}}yy_{x}=0. $$

Later, in [7], the main coefficient \(h^{2}y_{xxx}\) was corrected by \(h^{\frac{5}{2}}y_{xxx}\). Therefore, it is meaningful to consider the inverse problem of retrieving the principal coefficient in the KdV equation.

The KdV equation on a finite domain has been extensively studied in the past. Most of this work has been focused on the following system:

$$\begin{aligned} \textstyle\begin{cases} y_{t}+y_{xxx}+y_{x}+yy_{x}=0, & \mbox{in }Q,\\ y(0,t)=y(L,t)=y_{x}(L,t)=0, & \mbox{in } (0,T),\\ y(x,0)=y_{0}(x), & \mbox{in }(0,L), \end{cases}\displaystyle \end{aligned}$$

which possesses a different set of boundary conditions than those of system (1.1). In recent years, system (1.1) (\(a\equiv1\)) has attracted many authors’ attention. The well-posedness, controllability and stabilization of (1.1) (\(a\equiv1\)) have been studied in [813].

In this paper we intend to retrieve the principal coefficient \(a=a(x)\) of system (1.1) from the measurement of \(y(L,t)\) on \((0,T)\) and the measurement of \(y(x,T/2)\) on \((0,L)\). Stability estimates play a special role in the theory of inverse problems of mathematical physics that are ill-posed in the classical sense. They determine the choice of regularization parameters and the rate at which solutions of regularized problems converge to an exact solution. The results concerning the determination of coefficients for parabolic equations and hyperbolic equations are relatively rich (see [1416] and the references therein). Concerning a dispersive equation, the results focused on the Schrödinger equation ([1719]). However, to the best of our knowledge, the only result in the literature concerning the determination of coefficients for the KdV equation is in [20], where the author considered the KdV equation with boundary conditions as in (1.2).

Let us introduce the following notations for functional spaces appearing in this paper:

$$\begin{aligned} &{X^{s}=C\bigl([0,T],H^{s}(0,L)\bigr)\cap L^{2} \bigl(0,T;H^{s+1}(0,L)\bigr),} \\ &{Y=\bigl\{ y\in X^{6}\mid y_{t}\in X^{3}\mbox{ and } y_{tt}\in X^{0}\bigr\} .} \end{aligned}$$

To precisely state the results in this article, we introduce the sets

$$\begin{aligned} &{\Sigma(a_{0},\alpha)=\bigl\{ a\in W^{3,\infty}(0,L)\mid\forall x\in (0,L),a(x)\geq a_{0}>0\mbox{ and } \Vert a \Vert _{W^{3,\infty}(0,L)}\leq \alpha\bigr\} ,} \\ &{W=\bigl\{ w\in H^{6}(0,L)\mid w(0)=w^{\prime}(L)=w^{\prime\prime}(L)=0 \bigr\} .} \end{aligned}$$

The following theorem is the main result of this article.

Theorem 1.1

Let \(a_{0}\), α and K be given positive constants, \(y_{0}\in W\) and \(a,\tilde{a}\in\Sigma(a_{0},\alpha)\). Assume that there exists \(\eta>0\) such that \(\inf\{\vert\tilde{y}_{xxx}(x,\frac{T}{2})\vert, x\in(0,L)\}\geq\eta\). Then there exists a positive constant \(C=C(T,\alpha,\eta,\alpha _{0},K,L)\) such that

$$C \Vert a-\tilde{a} \Vert _{L^{2}(0,L)}\leq \bigl\Vert y(L,t)- \tilde{y}(L,t) \bigr\Vert _{H^{1}(0,T)}+ \biggl\Vert y\biggl(\cdot, \frac{T}{2}\biggr)-\tilde{y}\biggl(\cdot,\frac{T}{2}\biggr) \biggr\Vert _{H^{3}(0,L)} $$

for all y and satisfying \(\max\{ \Vert y \Vert _{Y}, \Vert \tilde{y} \Vert _{Y}\}\leq K\).

Remark 1.1

Compared with [20], Theorem 1.1, the symmetry hypothesis on the initial data is replaced by a condition on the trajectory.

Remark 1.2

To prove Theorem 1.1, we need to establish a Carleman estimate for a linearized KdV equation with boundary conditions in (1.2). To the best of our knowledge, it is the first attempt to establish the Carleman estimate for a third order operator with these boundary conditions.

The rest of this paper is organized as follows. Section 2 is devoted to a Carleman estimate for the linearized KdV equation with non-constant main coefficient. In Section 3, we prove Theorem 1.1 following the Bukhgeı̌m-Klibanov method.

2 Carleman estimate

In this section, we provide the suitable Carleman estimate for the study of the stability of our inverse problem.

Let us consider the operator

$$P=\partial_{t}+a(x)\partial_{xxx}+b(x,t) \partial_{x}+d(x,t) $$

defined on

$$\begin{aligned} \mathcal{V} =& \bigl\{ v\in L^{2} \bigl(0,T;H^{3}(0,L)\bigr)\mid v(0,t)=v_{x}(L,t)=v_{xx}(L,t)=0, t \in(0,T), \\ &{}\textrm{and }Pv\in L^{2}(Q)\bigr\} . \end{aligned}$$

Here \(b\in L^{\infty}(0,T;W^{1,\infty}(0,L))\), \(d\in L^{\infty}(Q)\) and \(a\in\Sigma(a_{0},\alpha)\).

Consider \(\beta\in C^{3}([0,L])\) such that for some \(r>0\) we have

$$0< r\leq\beta(x)\quad\mbox{and}\quad 0< r\leq\beta^{\prime}(x),\quad \forall x \in(0,L). $$

We define, for each \(\lambda>0\), the functions

$$\phi(x,t)=\frac{e^{2\lambda \Vert \beta \Vert _{\infty}}-e^{\lambda\beta (x)}}{t(T-t)},\qquad \theta(x,t)=\frac{e^{\lambda\beta(x)}}{t(T-t)}, $$

for \((x,t)\in Q\). It is not difficult to see that θ satisfies the following properties:

$$\begin{aligned} &{\exists C>0\quad\textrm{such that }\frac{1}{C}\theta\leq\theta_{x} \leq C\theta\quad\mbox{and}} \\ &{\theta^{n}\leq C\theta^{m}\quad\textrm{for~each~positive~integers }n< m.} \end{aligned}$$

Theorem 2.1

Let ϕ, θ and P be defined as above. There exist \(s_{0}>0\), \(\lambda_{0}>0\) and a constant \(C=C(T,s_{0},\lambda_{0},a_{0},\alpha,L)>0\) such that, for every \(s\geq s_{0}\), \(\lambda\geq \lambda_{0}\),

$$\begin{aligned} &{\int_{Q}e^{-2s\phi} \bigl(s^{5} \lambda^{6}\theta ^{5}u^{2}+s^{3} \lambda^{4}\theta^{3}u_{x}^{2}+s \lambda^{2}\theta u_{xx}^{2} \bigr)\,dx\,dt} \\ &{\quad \leq C \int_{Q}e^{-2s\phi} \vert Pu \vert ^{2}\,dx\,dt+C \int_{0}^{T} \bigl(s^{5} \lambda^{5}\theta^{5}e^{-2s\phi}u^{2} \bigr) \bigm| _{x=L}\,dt.} \end{aligned}$$


Following the method in [21], it is enough to prove (2.1) for \(\widetilde{P}=\partial_{t}+a(x)\partial_{xxx}\). In fact, assume that we have proved (2.1) for , we have

$$\int_{Q}e^{-2s\phi} \vert \widetilde{P}u \vert ^{2}\,dx\,dt\leq C \biggl( \int _{Q}e^{-2s\phi} \vert Pu \vert ^{2}\,dx\,dt+ \int_{Q}e^{-2s\phi }\bigl(u_{x}^{2}+u^{2} \bigr)\,dx\,dt \biggr). $$

By choosing \(s>0\) and \(\lambda>0\) large, it is possible to absorb \(\int_{Q}e^{-2s\phi}(u_{x}^{2}+u^{2})\,dx\,dt\) with the left-hand side of (2.1), concluding that (2.1) also holds for P.

Let \(s>0\) and consider the operator \(P_{\phi}\) defined in \(\mathcal {W}_{s}=\{e^{-s\phi}u\mid u\in\mathcal{V}\}\) by

$$P_{\phi}w=e^{-s\phi}\widetilde{P}\bigl(e^{s\phi}w\bigr). $$

We then obtain the decomposition \(P_{\phi}w=P_{1}w+P_{2}w+Rw\), where

$$ \begin{aligned} &{P_{1}w=w_{t}+3as^{2} \phi_{x}^{2}w_{x}+aw_{xxx}+3as^{2} \phi_{x}\phi_{xx}w,} \\ &{P_{2}w= as^{3}\phi_{x}^{3}w+3as \phi_{x}w_{xx}+3s(a\phi_{x})_{x}w_{x},} \\ &{Rw= as\phi_{xxx}w+3as^{2}\phi_{x} \phi_{xx}w+s\phi _{t}w-3sa_{x} \phi_{x}w_{x}-3as^{2}\phi_{x} \phi_{xx}w.} \end{aligned} $$


$$\begin{aligned} \Vert P_{\phi}w-Rw \Vert _{L^{2}(Q)}^{2}= \Vert P_{1}w \Vert _{L^{2}(Q)}^{2}+2\langle P_{1}w,P_{2}w\rangle_{L^{2}(Q)}+ \Vert P_{2}w \Vert _{L^{2}(Q)}^{2}. \end{aligned}$$

Let us now consider \(\langle P_{1}w,P_{2}w\rangle_{L^{2}(Q)}\).

Claim that

$$\begin{aligned} \langle P_{1}w,P_{2}w\rangle_{L^{2}(Q)}= \int_{Q} \bigl((\cdot )w^{2}+(\cdot)w_{x}^{2}+( \cdot)w_{xx}^{2} \bigr)\,dx\,dt+ \int _{0}^{T}(\cdot)\mid _{x=0}^{x=L}\,dt, \end{aligned}$$


$$\begin{aligned} &{(\cdot)w^{2}= \biggl(-\frac{1}{2}s^{3}a \bigl(\phi_{x}^{3}\bigr)_{t}-\frac {3}{2}s^{5} \bigl(a^{2}\phi_{x}^{5}\bigr)_{x} - \frac{1}{2}s^{3}\bigl(a^{2}\phi_{x}^{3} \bigr)_{xxx}+3s^{5}a^{2}\phi _{x}^{4} \phi_{xx} } \\ &{\phantom{(\cdot)w^{2}=} {}+\frac{9}{2}s^{3}\bigl(a^{2}\phi _{x}^{2}\phi_{xx}\bigr)_{xx} - \frac{9}{2}s^{3}\bigl(a\phi_{x}\phi_{xx}(a \phi_{x})_{x}\bigr)_{x} \biggr)w^{2},} \\ &{(\cdot)w_{x}^{2}= \biggl(\frac{3}{2}sa \phi_{xt}-\frac {9}{2}s^{3}\bigl(a^{2} \phi_{x}^{3}\bigr)_{x}+9s^{3}a \phi_{x}^{2}(a\phi_{x})_{x} + \frac{3}{2}s^{3}\bigl(a^{2}\phi_{x}^{3} \bigr)_{x} } \\ &{\phantom{(\cdot)w_{x}^{2}=} {}+\frac{3}{2}s\bigl(a(a\phi _{x})_{x} \bigr)_{xx}-9s^{3}a^{2}\phi_{x}^{2} \phi_{xx} \biggr)w_{x}^{2},} \\ &{(\cdot)w_{xx}^{2}= \biggl(-\frac{3}{2}s \bigl(a^{2}\phi _{x}\bigr)_{x}-3sa(a \phi_{x})_{x} \biggr)w_{xx}^{2},} \\ &{(\cdot)\mid_{x=0}^{x=L}= \biggl(3sa\phi_{x}w_{t}w_{x}+ \frac {3}{2}s^{5}a^{2}\phi_{x}^{5}w^{2} +\frac{9}{2}s^{3}a^{2}\phi_{x}^{3}w_{x}^{2}+s^{3}a^{2} \phi _{x}^{3}ww_{xx} } \\ &{\phantom{(\cdot)\mid_{x=0}^{x=L}=}{} -s^{3}\bigl(a^{2}\phi_{x}^{3} \bigr)_{x}ww_{x} -\frac{1}{2}s^{3}a^{2} \phi_{x}^{3}w_{x}^{2}+ \frac {1}{2}s^{3}\bigl(a^{2}\phi_{x}^{3} \bigr)_{xx}w^{2}+\frac{3}{2}sa^{2}\phi _{x}w_{xx}^{2}} \\ &{\phantom{(\cdot)\mid_{x=0}^{x=L}=}{}-\frac{3}{2}s\bigl(a(a\phi_{x})_{x} \bigr)_{x}w^{2}_{x}+3sa(a\phi _{x})_{x}w_{x}w_{xx}+9s^{3}a^{2} \phi_{x}^{2}\phi_{xx}ww_{x}} \\ &{\phantom{(\cdot)\mid_{x=0}^{x=L}=}{} -\frac{9}{2}s^{3}\bigl(a^{2} \phi_{x}^{2}\phi_{xx}\bigr)_{x}w^{2} + \frac{9}{2}s^{3}a\phi_{x} \phi_{xx}(a\phi _{x})_{x}w^{2} \biggr) \biggm| _{x=0}^{x=L}. } \end{aligned}$$

Indeed, (2.3) follows easily from the following equations:

$$\begin{aligned} &{\int_{Q}as^{3}\phi_{x}^{3}ww_{t}\,dx\,dt=- \int_{Q}\frac {1}{2}s^{3}a\bigl( \phi_{x}^{3}\bigr)_{t}w^{2}\,dx\,dt,} \\ &{\int_{Q}3as\phi_{x}w_{t}w_{xx}\,dx\,dt= \int_{0}^{T} (3sa\phi_{x}w_{t}w_{x} ) \bigm| _{x=0}^{x=L}\,dt} \\ &{\phantom{\int_{Q}3as\phi_{x}w_{t}w_{xx}\,dx\,dt=} {}+ \int_{Q} \biggl(\frac{3}{2}sa\phi _{xt}w_{x}^{2}-3s(a \phi_{x})_{x}w_{t}w_{x} \biggr)\,dx\,dt,} \\ &{\int_{Q}3a^{2}s^{5}\phi_{x}^{5}ww_{x}\,dx\,dt= \int_{0}^{T} \biggl(\frac{3}{2}s^{5}a^{2} \phi_{x}^{5}w^{2} \biggr) \biggm| _{x=0}^{x=L}\,dt - \int_{Q}\frac{3}{2}s^{5} \bigl(a^{2}\phi_{x}^{5}\bigr)_{x}w^{2}\,dx\,dt,} \\ &{\int_{Q}9s^{3}a^{2}\phi_{x}^{3}w_{x}w_{xx}\,dx\,dt = \int_{0}^{T} \biggl(\frac{9}{2}s^{3}a^{2} \phi _{x}^{3}w_{x}^{2}\biggr) \biggm| _{x=0}^{x=L}\,dt - \int_{Q}\frac{9}{2}s^{3}\bigl(a^{2} \phi_{x}^{3}\bigr)_{x}w_{x}^{2}\,dx\,dt,} \\ &{\int_{Q}s^{3}a^{2}\phi_{x}^{3}ww_{xxx}\,dx\,dt= \int_{Q} \biggl(\frac {3}{2}s^{3} \bigl(a^{2}\phi_{x}^{3}\bigr)_{x}w_{x}^{2}- \frac {1}{2}s^{3}\bigl(a^{2}\phi_{x}^{3} \bigr)_{xxx}w^{2} \biggr)\,dx\,dt} \\ &{\phantom{\int_{Q}s^{3}a^{2}\phi_{x}^{3}ww_{xxx}\,dx\,dt=} {}+ \int_{0}^{T} s^{3} \biggl(a^{2}\phi _{x}^{3}ww_{xx}- \bigl(a^{2}\phi_{x}^{3}\bigr)_{x}ww_{x} -\frac{1}{2}a^{2}\phi_{x}^{3}w_{x}^{2}} \\ &{\phantom{\int_{Q}s^{3}a^{2}\phi_{x}^{3}ww_{xxx}\,dx\,dt=} {}+ \frac{1}{2}\bigl(a^{2}\phi _{x}^{3} \bigr)_{xx}w^{2} \biggr) \biggm| _{x=0}^{x=L}\,dt,} \\ &{\int_{Q}3sa^{2}\phi_{x}w_{xx}w_{xxx}\,dx\,dt = \int_{0}^{T} \biggl(\frac{3}{2}sa^{2} \phi_{x}w_{xx}^{2}\biggr) \biggm| _{x=0}^{x=L}\,dt - \int_{Q}\frac{3}{2}s\bigl(a^{2} \phi_{x}\bigr)_{x}w_{xx}^{2}\,dx\,dt,} \\ &{\int_{Q}3sa(a\phi_{x})_{x}w_{x}w_{xxx}\,dx\,dt= \int_{Q} \biggl(\frac {3}{2}s\bigl(a(a \phi_{x})_{x}\bigr)_{xx}w_{x}^{2}-3sa(a \phi _{x})_{x}w_{xx}^{2} \biggr)\,dx\,dt} \\ &{\phantom{\int_{Q}3sa(a\phi_{x})_{x}w_{x}w_{xxx}\,dx\,dt=} {} + \int_{0}^{T} \biggl(-\frac{3}{2}s \bigl(a(a\phi _{x})_{x}\bigr)_{x}w_{x}^{2}+3sa(a \phi_{x})_{x}w_{x}w_{xx} \biggr) \biggm| _{x=0}^{x=L}\,dt,} \\ &{\int_{Q}9s^{3}a^{2}\phi_{x}^{2} \phi_{xx}ww_{xx}\,dx\,dt = \int_{Q} \biggl(\frac{9}{2}s^{3} \bigl(a^{2}\phi_{x}^{2}\phi _{xx} \bigr)_{xx}w^{2}-9s^{3}a^{2} \phi_{x}^{2}\phi_{xx}w_{x}^{2} \biggr)\,dx\,dt} \\ &{\phantom{\int_{Q}9s^{3}a^{2}\phi_{x}^{2} \phi_{xx}ww_{xx}\,dx\,dt =} {}+ \int_{0}^{T} \biggl(9s^{3} a^{2}\phi _{x}\phi_{xx}ww_{x}- \frac{9}{2}s^{3}\bigl(a^{2}\phi_{x}^{2} \phi _{xx}\bigr)_{x}w^{2} \biggr) \biggm| _{x=0}^{x=L}\,dt,} \\ &{\int_{Q}9s^{3}a\phi_{x} \phi_{xx}(a\phi_{x})_{x}ww_{x}\,dx\,dt=- \int _{Q}\frac{9}{2}s^{3}\bigl(a \phi_{x}\phi_{xx}(a\phi_{x})_{x} \bigr)_{x}w^{2}\,dx\,dt} \\ &{\phantom{\int_{Q}9s^{3}a\phi_{x} \phi_{xx}(a\phi_{x})_{x}ww_{x}\,dx\,dt=} {} + \int_{0}^{T} \biggl(\frac{9}{2}s^{3}a \phi _{x}\phi_{xx}(a\phi_{x})_{x}w^{2} \biggr) \biggm| _{x=0}^{x=L}\,dt.} \end{aligned}$$

Similar to [20], we obtain

$$\begin{aligned} &{\int_{Q} \bigl((\cdot)w^{2}+(\cdot)w_{x}^{2}+( \cdot )w_{xx}^{2} \bigr)\,dx\,dt} \\ &{\quad = \int_{Q} \biggl(\frac{9}{2}s^{5} \lambda^{6}a^{2}\beta_{x}^{6}\theta ^{5}w^{2} +9s^{3}\lambda^{4}a^{2} \beta_{x}^{4}\theta^{3}w_{x}^{2}+ \frac {9}{2}s\lambda^{2}a^{2}\beta_{x}^{2} \theta w_{xx}^{2} \biggr)\,dx\,dt+I_{R},} \end{aligned}$$

where \(I_{R}\) gathers the non-dominating terms and satisfies the requirement that, for any \(\varepsilon>0\), there exist \(s_{0}>0\), \(\lambda_{0}>0\) such that if \(s\geq s_{0}\), \(\lambda\geq\lambda _{0}\), we have

$$\begin{aligned} \vert I_{R} \vert \leq\varepsilon \int_{Q} \bigl(s^{5}\lambda^{6} \theta^{5}w^{2} +s^{3}\lambda^{4} \theta^{3}w_{x}^{2}+s\lambda^{2}\theta w_{xx}^{2} \bigr)\,dx\,dt. \end{aligned}$$

Then we consider the boundary terms. Write

$$\begin{aligned} \int_{0}^{T}(\cdot)\mid_{x=0}^{x=L}\,dt =& \int_{0}^{T}\biggl(-\frac {3}{2}s^{5} \lambda^{5}a^{2}\beta_{x}^{5} \theta^{5}w^{2} -8s^{3}\lambda^{3}a^{2} \beta_{x}^{3}\theta^{3}w_{x}^{2} -\frac{3}{2}s\lambda a^{2}\beta_{x}\theta w_{xx}^{2} \\ &{} -3as\lambda\theta\beta_{x}w_{t}w_{x}-a^{2}s^{3} \lambda ^{3}\beta_{x}^{3}\theta_{x}^{3}ww_{xx}+B_{R} \biggr) \biggm| _{x=0}^{x=L}\,dt, \end{aligned}$$

where \(B_{R}\) can be estimated as follows:

$$\begin{aligned} \vert B_{R} \vert =& \biggl\vert -s^{3}\bigl(a^{2}\phi_{x}^{3} \bigr)_{x}ww_{x}+\frac {1}{2}s^{3} \bigl(a^{2}\phi_{x}^{3}\bigr)_{xx}w^{2} \\ &{} -\frac{3}{2}s\bigl(a(a\phi_{x})_{x} \bigr)_{x}w^{2}_{x}+3sa(a\phi _{x})_{x}w_{x}w_{xx} \\ &{} +9s^{3}a^{2}\phi_{x}^{2} \phi_{xx}ww_{x}-\frac {9}{2}s^{3} \bigl(a^{2}\phi_{x}^{2}\phi_{xx} \bigr)_{x}w^{2} +\frac{9}{2}s^{3}a \phi_{x}\phi_{xx}(a\phi_{x})_{x}w^{2} \biggr\vert \\ \leq& C\bigl(s^{3}\lambda^{4}\theta^{3} \vert w \vert \vert w_{x} \vert +s^{3}\lambda^{5} \theta ^{3}w^{2}+s\lambda^{3}\theta w_{x}^{2}+s\lambda^{2}\theta \vert w_{x} \vert \vert w_{xx} \vert \\ &{}+s^{3}\lambda^{4}\theta^{3} \vert w \vert \vert w_{x} \vert +s^{3}\lambda^{4}\theta ^{2}w^{2}+s^{3}\lambda^{5} \theta^{3}w^{2}\bigr). \end{aligned}$$

For any \(\varepsilon>0\), there exist \(s_{0}>0\), \(\lambda_{0}>0\) such that if \(s\geq s_{0}\), \(\lambda\geq\lambda_{0}\), we have

$$\vert B_{R} \vert \leq\varepsilon\bigl(s^{5} \lambda^{5}\theta^{5}w^{2} +s^{3} \lambda^{3}\theta^{3}w_{x}^{2} +s\lambda \theta w_{xx}^{2}\bigr). $$

Now we estimate each term of the right-hand side in (2.6).

It is easy to deduce that

$$\begin{aligned} &{w_{x} =-s\phi_{x}e^{-s\phi}u+e^{-s\phi}u_{x},} \\ &{w_{t}=-s \phi _{t}e^{-s\phi}u+e^{-s\phi}u_{t},} \\ &{w_{xx} =-s\phi_{xx}e^{-s\phi}u+s^{2} \phi_{x}^{2}e^{-s\phi}u-2s\phi _{x}e^{-s\phi}u_{x}+e^{-s\phi}u_{xx}.} \end{aligned}$$

Noting that \(u(0,t)=u_{t}(0,t)=u_{x}(L,t)=u_{xx}(L,t)=0\), \(t\in(0,T)\), we have

$$ \begin{aligned} &{w(0,t)=0,\qquad w(L,t)=e^{-s\phi(L,t)}u(L,t),} \\ &{w_{t}(0,t)=0,\qquad w_{t}(L,t)=e^{-s\phi(L,t)}u_{t}(L,t)-s \phi _{t}(L,t)e^{-s\phi(L,t)}u(L,t),} \\ &{w_{x}(0,t)=e^{-s\phi(0,t)}u_{x}(0,t),} \\ &{w_{x}(L,t)=s\lambda\beta_{x}(L)\theta(L,t)e^{-s\phi(L,t)}u(L,t),} \\ &{w_{xx}(0,t)=2s\lambda\beta_{x}(0)\theta(0,t)e^{-s\phi (0,t)}u_{x}(0,t)+e^{-s\phi(0,t)}u _{xx}(0,t),} \\ &{w_{xx}(L,t)=s\lambda \bigl(\beta_{xx}(L)+\lambda\beta _{x}^{2}(L)+s\lambda\beta_{x}^{2}(L) \theta(L,t) \bigr)\theta (L,t)e^{-s\phi(L,t)}u (L,t).} \end{aligned} $$

Since \(\beta_{x}\geq r>0\) and \(\theta>0\), we can obtain from (2.7)

$$\begin{aligned} &{ \frac{3}{2}s^{5}\lambda^{5}a^{2} \beta_{x}^{5}\theta^{5}w^{2} +8s^{3}\lambda^{3}a^{2}\beta_{x}^{3} \theta^{3}w_{x}^{2} +\frac{3}{2}s\lambda a^{2}\beta_{x}\theta w_{xx}^{2} \biggm| _{x=0}\geq0,} \\ &{\biggl\vert \int_{0}^{T} (-3as\lambda\beta_{x}\theta w_{t}w_{x} ) \mid _{x=0} \,dt \biggr\vert =0,} \\ &{\biggl\vert \int_{0}^{T} \bigl(-a^{2}s^{3} \lambda^{3}\beta^{3}_{x}\theta ^{3} ww_{xx} \bigr) \bigm| _{x=0} \,dt \biggr\vert =0.} \end{aligned}$$

Taking (2.7) into account and choosing s and λ large enough, we obtain

$$\begin{aligned} &{\int_{0}^{T} \biggl(-\frac{3}{2}s^{5} \lambda^{5}a^{2}\beta _{x}^{5} \theta^{5}w^{2} -8s^{3}\lambda^{3}a^{2} \beta_{x}^{3}\theta^{3}w_{x}^{2} -\frac{3}{2}s\lambda a^{2}\beta_{x}\theta w_{xx}^{2} \biggr) \biggm| _{x=0}^{x=L}\,dt} \\ &{\quad \geq-C \int_{0}^{T}\bigl(s^{5} \lambda^{5}\theta^{5}w^{2} +s^{3} \lambda^{3}\theta^{3}w_{x}^{2} +s\lambda \theta w_{xx}^{2}\bigr)\bigm| _{x=L}\,dt} \\ &{\quad \geq-C \int_{0}^{T}(s^{5}\lambda^{5} \theta^{5}e^{-2s\phi}u^{2})\mid _{x=L}\,dt,} \\ &{\biggl\vert \int_{0}^{T} (-3as\lambda\beta_{x}\theta w_{t}w_{x} ) \mid _{x=0}^{x=L} \,dt \biggr\vert } \\ &{\quad = \biggl\vert 3as\lambda \int_{0}^{T} (\beta_{x}\theta w_{t}w_{x}) \mid _{x=L}\,dt \biggr\vert } \\ &{\quad = \biggl\vert \int_{0}^{T} \bigl(3as^{2} \lambda^{2}\beta ^{2}_{x}\theta^{2}e^{-2s\phi}u_{t}u -3as^{3}\lambda^{2}\beta^{2}_{x} \theta^{2}\phi_{t}e^{-2s\phi }u^{2} \bigr) \bigm| _{x=L}\,dt \biggr\vert } \\ &{\quad = \biggl\vert \int_{0}^{T} \biggl(-\frac{3}{2}as^{2} \lambda ^{2}\bigl(\beta^{2}_{x}\theta^{2} \bigr)_{t}e^{-2s\phi}u^{2} -3as^{3} \lambda^{2}\beta^{2}_{x}\theta^{2} \phi_{t}e^{-2s\phi }u^{2} \biggr) \biggm| _{x=L}\,dt \biggr\vert } \\ &{\quad \leq C \int_{0}^{T} \bigl(s^{2} \lambda^{2}\theta^{3}e^{-2s\phi }u^{2}+s^{3} \lambda^{2}\theta^{4}e^{-2s\phi}u^{2} \bigr) \bigm| _{x=L}\,dt\quad \bigl(\mbox{since } \vert \phi_{t} \vert + \vert \theta_{t} \vert \leq C\theta^{2}\bigr)} \\ &{\quad \leq C \int_{0}^{T} \bigl(s^{5} \lambda^{5}\theta^{5}e^{-2s\phi }u^{2} \bigr) \bigm| _{x=L}\,dt,} \\ &{\biggl\vert \int_{0}^{T} \bigl(-a^{2}s^{3} \lambda^{3}\beta^{3}_{x}\theta ^{3} ww_{xx} \bigr) \bigm| _{x=0}^{x=L} \,dt \biggr\vert } \\ &{\quad = \biggl\vert a^{2}s^{3}\lambda^{3} \int_{0}^{T} \bigl(\beta^{3}_{x} \theta ^{3} ww_{xx}\bigr) \bigm| _{x=L}\,dt \biggr\vert } \\ &{\quad = \biggl\vert a^{2}s^{3}\lambda^{3} \int_{0}^{T} \bigl(\beta^{3}_{x} \theta^{3} \bigl(s\lambda\beta_{xx}\theta+s \lambda^{2}\beta^{2}_{x}\theta +s^{2} \lambda^{2}\beta^{2}_{x}\theta^{2} \bigr)e^{-2s\phi}u^{2}\bigr) \bigm| _{x=L}\,dt \biggr\vert } \\ &{\quad \leq C \int_{0}^{T} \bigl(s^{5} \lambda^{5}\theta^{5}e^{-2s\phi }u^{2} \bigr) \mid _{x=L}\,dt.} \end{aligned}$$


$$\int_{0}^{T}(\cdot)\mid _{x=0}^{x=L}\,dt \geq-C \int_{0}^{T} \bigl(s^{5} \lambda^{5}\theta^{5}e^{-2s\phi}u^{2} \bigr) \bigm| _{x=L}\,dt. $$

Combining (2.3)-(2.5), consequently,

$$\begin{aligned} &{\int_{Q} \bigl(s^{5}\lambda^{6} \theta^{5}w^{2}+s^{3}\lambda ^{4} \theta^{3}w_{x}^{2}+s\lambda^{2}\theta w_{xx}^{2} \bigr)\,dx\,dt+ \int_{Q}\bigl( \vert P_{1}w \vert ^{2}+ \vert P_{2}w \vert ^{2}\bigr)\,dx\,dt} \\ &{\quad\leq C \int_{Q} \vert P_{\phi}w \vert ^{2}\,dx\,dt+C \int_{0}^{T} \bigl(s^{5} \lambda^{5}\theta^{5}e^{-2s\phi}u^{2} \bigr) \bigm| _{x=L}\,dt.} \end{aligned}$$

Returning w to \(e^{-s\phi}u\), we can obtain (2.1). □

3 Inverse problem

We first state the well-posedness results for the KdV equation considered in this paper.

Following the methods developed in [20] with minor changes, we have

Theorem 3.1

Let \(a_{0}\), α be given positive constants, \(a\in \Sigma(a_{0},\alpha)\) and \(y_{0}\in W\). Then system (1.1) has a unique solution in Y.

Next, the local stability of the nonlinear inverse problem stated in Theorem 1.1 will be proved following the ideas in [22]. For the sake of clarity, we divided the proof in several steps.

Step 1. Local study of the inverse problem. Let a, ã, y and be defined as in Theorem 1.1. Define \(u(x,t):=y(x,t)-\tilde{y}(x,t)\) and \(\sigma(x):=\tilde {a}(x)-a(x)\). Then u solves the following equation:

$$\begin{aligned} \textstyle\begin{cases} u_{t}+a(x)u_{xxx}+(1+\tilde{y})u_{x}+y_{x}u=\sigma(x)\tilde{y}_{xxx},& \mbox{in } Q,\\ u(0,t)=u_{x}(L,t)=u_{xx}(L,t)=0 , & \mbox{in }(0,T),\\ u(x,0)=0 , & \mbox{in }(0,L). \end{cases}\displaystyle \end{aligned}$$

In order to obtain an estimate of σ in terms of \(u(L,\cdot)\) and \(u(\cdot,\frac{T}{2})\), we derive equation (3.1) with respect to time. Thus, \(v(x,t):=u_{t}(x,t)\) satisfies the following equation:

$$\begin{aligned} \textstyle\begin{cases} v_{t}+a(x)v_{xxx}+(1+\tilde{y})v_{x}+y_{x}v=f , & \mbox{in }Q,\\ v(0,t)=v_{x}(L,t)=v_{xx}(L,t)=0 , & \mbox{in }(0,T),\\ v(x,0)=\sigma(x)y_{0}^{\prime\prime\prime}(x), & \mbox{in }(0,L), \end{cases}\displaystyle \end{aligned}$$

where \(f=\sigma(x)\tilde{y}_{xxxt}-y_{xt}u-\tilde{y}_{t}u_{x}\).

Step 2. First use of the Carleman estimate. Similarly to the proof of the Carleman estimate, we set \(w=e^{-s\phi }v\). Then we work on the term

$$I:= \int_{0}^{\frac{T}{2}} \int_{0}^{L}wP_{1}w\,dx\,dt, $$

where \(P_{1}\) has been defined in (2.2).

On the one hand,

$$\begin{aligned} I\leq\frac{1}{2} \int_{0}^{\frac{T}{2}} \int_{0}^{L}w^{2}\,dx\,dt+\frac {1}{2} \int_{0}^{\frac{T}{2}} \int_{0}^{L} \vert P_{1}w \vert ^{2}\,dx\,dt. \end{aligned}$$

On the other hand,

$$\begin{aligned} I =& \int_{0}^{\frac{T}{2}} \int_{0}^{L}w\bigl(w_{t}+3as^{2} \phi _{x}^{2}w_{x}+aw_{xxx}+3as^{2} \phi_{x}\phi_{xx}w\bigr)\,dx\,dt \\ =& \frac{1}{2} \int_{0}^{L} \biggl\vert w\biggl(x, \frac{T}{2}\biggr) \biggr\vert ^{2}\,dx+R, \end{aligned}$$


$$\begin{aligned} R =& \int_{0}^{\frac{T}{2}} \int_{0}^{L}\bigl(3as^{2}\phi _{x}^{2}ww_{x}+aww_{xxx}+3as^{2} \phi_{x}\phi_{xx}w^{2}\bigr)\,dx\,dt \\ =& \int_{0}^{\frac{T}{2}} \int_{0}^{L} \biggl(-3s^{2}a_{x} \phi _{x}^{2}w^{2}-\frac{1}{2}a_{xxx}w^{2}+a_{x}w_{x}^{2} -aw_{x}w_{xx} \biggr)\,dx\,dt \\ &{} + \int_{0}^{\frac{T}{2}} \biggl(\frac{3}{2}as^{2} \phi _{x}w^{2}+aww_{xx}-a_{x}ww_{x}+ \frac{1}{2}a_{xx}w^{2} \biggr) \biggm| _{x=0}^{x=L}\,dt. \end{aligned}$$

Applying (2.7), we obtain

$$\begin{aligned} &{\int_{0}^{\frac{T}{2}} \biggl(\frac{3}{2}as^{2} \phi _{x}w^{2}+aww_{xx}-a_{x}ww_{x}+ \frac{1}{2}a_{xx}w^{2} \biggr) \biggm| _{x=0}^{x=L}\,dt} \\ &{\quad = \int_{0}^{\frac{T}{2}} \biggl(\biggl(\frac{3}{2}as^{2} \lambda\beta _{x}\theta+as\lambda\bigl(\beta_{xx}+\lambda \beta_{x}^{2}\bigr)\theta +as^{2} \lambda^{2}\beta_{x}^{2}\theta^{2}} \\ &{\qquad{} -a_{x}s\lambda\beta_{x}\theta+ \frac{1}{2}a_{xx}\biggr)e^{-2s\phi}v^{2} \biggr) \biggm| _{x=L}\,dt.} \end{aligned}$$

For s and λ large enough, it follows immediately that

$$\begin{aligned} s^{\frac{1}{2}}R \geq&-C \int_{0}^{\frac{T}{2}} \int_{0}^{L} \bigl(s^{5} \lambda^{5}\theta^{5}w^{2}+s^{3} \lambda^{3}\theta ^{3}w_{x}^{2}+s\lambda \theta w_{xx}^{2} \bigr)\,dx\,dt \\ &{} +C \int_{0}^{\frac{T}{2}} \bigl(s^{5} \lambda^{5}\theta ^{5}e^{-2s\phi}v^{2} \bigr) \bigm| _{x=L}\,dt \\ \geq&-C \int_{0}^{T} \int_{0}^{L} \bigl(s^{5} \lambda^{5}\theta ^{5}w^{2}+s^{3} \lambda^{3}\theta^{3}w_{x}^{2}+s\lambda \theta w_{xx}^{2} \bigr)\,dx\,dt. \end{aligned}$$

Combining (3.2)-(3.4) and the Carleman estimate (2.8), we conclude that

$$\begin{aligned} &{ s^{\frac{1}{2}} \int_{0}^{L} \biggl\vert w\biggl(x, \frac{T}{2}\biggr) \biggr\vert ^{2}\,dx} \\ &{\quad \leq s \int_{0}^{\frac{T}{2}} \int_{0}^{L}w^{2}\,dx\,dt + \int_{0}^{\frac{T}{2}} \int_{0}^{L} \vert P_{1}w \vert ^{2}\,dx\,dt-2s^{\frac{1}{2}}R} \\ &{\quad \leq C \int_{Q} \bigl(s^{5}\lambda^{5} \theta^{5}w^{2}+s^{3}\lambda ^{3} \theta^{3}w_{x}^{2}+s\lambda\theta w_{xx}^{2} \bigr)\,dx\,dt+ \int_{Q} \vert P_{1}w \vert ^{2}\,dx\,dt} \\ &{\quad \leq C \int_{Q}e^{-2s\phi}f^{2}\,dx\,dt+C \int_{0}^{T} \bigl(s^{5} \lambda^{5}\theta^{5}e^{-2s\phi}v^{2} \bigr) \bigm| _{x=L}\,dt,} \end{aligned}$$

where we use the fact that \(1+\tilde{y}\in L^{\infty}(0,T;W^{1,\infty }(0,L))\) and \(y_{x}\in L^{\infty}(Q)\).

Noting that \(w=e^{-s\phi}v=e^{-s\phi}u_{t}\), it follows from (3.1) that

$$\begin{aligned} &{ s^{\frac{1}{2}} \int_{0}^{L} \biggl\vert w\biggl(x, \frac{T}{2}\biggr) \biggr\vert ^{2}\,dx} \\ &{\quad =s^{\frac{1}{2}} \int_{0}^{L} \bigl(e^{-2s\phi} \bigl\vert \sigma \tilde{y}_{xxx}-au_{xxx}-(1+\tilde{y})u_{x} -y_{x}u \bigr\vert ^{2} \bigr) \bigm| _{t=\frac{T}{2}}\,dx} \\ &{\quad \geq s^{\frac{1}{2}} \int_{0}^{L}e^{-2s\phi(x,\frac{T}{2})} \bigl\vert \sigma (x) \bigr\vert ^{2} \biggl\vert \tilde{y}_{xxx}\biggl(x, \frac{T}{2}\biggr) \biggr\vert ^{2}\,dx -Cs^{\frac{1}{2}} \biggl\Vert u\biggl(\cdot,\frac{T}{2}\biggr) \biggr\Vert ^{2}_{H^{3}(0,L)}} \\ &{\quad \geq s^{\frac{1}{2}}\eta^{2} \int_{0}^{L}e^{-2s\phi(x,\frac {T}{2})} \bigl\vert \sigma(x) \bigr\vert ^{2}\,dx -Cs^{\frac{1}{2}} \biggl\Vert u\biggl(\cdot, \frac{T}{2}\biggr) \biggr\Vert ^{2}_{H^{3}(0,L)}.} \end{aligned}$$

Step 3. Second use of the Carleman estimate. Considering

$$f=\sigma\tilde{y}_{xxxt}-y_{xt}u-\tilde{y}_{t}u_{x}, $$

\(\tilde{y}_{xxxt}\in L^{2}(0,T;H^{1}(0,L))\), \(y_{xt}\in L^{\infty }(Q)\) and \(\tilde{y}_{t}\in L^{\infty}(Q)\), we have

$$\begin{aligned} \int_{Q}e^{-2s\phi}f^{2}\,dx\,dt =& \int_{Q}e^{-2s\phi} \vert \sigma\tilde{y}_{xxxt}-y_{xt}u- \tilde {y}_{t}u_{x} \vert ^{2}\,dx\,dt \\ \leq& C \int_{0}^{L}e^{-2s\phi(x,\frac{T}{2})} \bigl\vert \sigma(x) \bigr\vert ^{2} \int _{0}^{T} \bigl\vert \tilde{y}_{xxxt}(x,t) \bigr\vert ^{2}\,dt\,dx \\ &{} +C \int_{Q}e^{-2s\phi} \vert y_{xt}u+ \tilde{y}_{t}u_{x} \vert ^{2}\,dx\,dt \\ \leq& C \int_{0}^{L}e^{-2s\phi(x,\frac{T}{2})} \bigl\vert \sigma(x) \bigr\vert ^{2}\,dx+C \int _{Q}e^{-2s\phi}\bigl(u^{2}+u_{x}^{2} \bigr)\,dx\,dt. \end{aligned}$$

Then we can apply the Carleman estimate (2.1) to (3.1),

$$\begin{aligned} &{\int_{Q}e^{-2s\phi}\bigl(u^{2}+u_{x}^{2} \bigr)\,dx\,dt} \\ &{\quad \leq C \int_{Q}e^{-2s\phi} \vert \sigma\tilde{y}_{xxx} \vert ^{2}\,dx\,dt+C \int _{0}^{T} \bigl(s^{5} \lambda^{5}\theta^{5}e^{-2s\phi }u^{2} \bigr) \bigm| _{x=L}\,dt} \\ &{\quad\leq C \int_{0}^{L}e^{-2s\phi(x,\frac{T}{2})} \bigl\vert \sigma(x) \bigr\vert ^{2}\,dx+C \int _{0}^{T} \bigl(s^{5} \lambda^{5}\theta^{5}e^{-2s\phi }u^{2} \bigr) \bigm| _{x=L}\,dt.} \end{aligned}$$

From (3.5)-(3.8), choosing s large enough, we deduce that

$$\begin{aligned} &{s^{\frac{1}{2}} \int_{0}^{L}e^{-2s\phi(x,\frac{T}{2})} \bigl\vert \sigma(x) \bigr\vert ^{2}\,dx} \\ &{\quad \leq C \int_{0}^{T} \bigl(s^{5} \lambda^{5}\theta^{5}e^{-2s\phi }\bigl(u^{2}+v^{2} \bigr) \bigr) \bigm| _{x=L}\,dt+Cs^{\frac{1}{2}} \biggl\Vert u\biggl( \cdot,\frac{T}{2}\biggr) \biggr\Vert ^{2}_{H^{3}(0,L)}.} \end{aligned}$$

Taking into account that \(v=u_{t}=\partial_{t}(y-\tilde{y})\), the result of Theorem 1.1 directly follows from (3.9).


  1. Korteweg, DJ, de Vries, G: On the change of form of long waves advancing in a rectangular canal and on a new type of long stationary waves. Philos. Mag. 39, 422-443 (1895)

    Article  MathSciNet  MATH  Google Scholar 

  2. Boussinesq, J: Essai sur la théorie des eaux courantes. Mémoires présentés par divers savants à l’Acad. des Sci. Inst. Nat. France 23, 1-680 (1877)

  3. Grimshaw, R: Evolution equations for long, nonlinear internal waves in stratified shear flows. Stud. Appl. Math. 65, 159-188 (1981)

    Article  MathSciNet  MATH  Google Scholar 

  4. Grimshaw, R: Solitary waves propagating over variable topography. Tsunami Nonlinear Waves 65, 51-64 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  5. Johnson, RS: On the development of a solitary wave moving over an uneven bottom. Proc. Camb. Philos. Soc. 73, 183-203 (1973)

    Article  MathSciNet  MATH  Google Scholar 

  6. Ghergu, M, Rădulescu, V: Nonlinear PDEs. Mathematical Models in Biology, Chemistry and Population Genetics. Springer Monographs in Mathematics. Springer, Heidelberg (2012)

    MATH  Google Scholar 

  7. Israwi, S: Variable depth KdV equations and generalizations to more nonlinear regimes. Modél. Math. Anal. Numér. 44, 347-370 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  8. Guilleron, JP: Null controllability of a linear KdV equation on an interval with special boundary conditions. Math. Control Signals Syst. 26, 375-401 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  9. Cerpa, E, Rivas, I, Zhang, BY: Boundary controllability of the Korteweg-de Vries equation on a bounded domain. SIAM J. Control Optim. 51, 2976-3010 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  10. Kramer, E, Rivas, I, Zhang, BY: Well-posedness of a class of non-homogeneous boundary value problems of the Korteweg-de Vries equation on a finite domain. ESAIM Control Optim. Calc. Var. 19, 358-384 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  11. Rivas, I, Usman, M, Zhang, BY: Global well-posedness and asymptotic behavior of a class of initial-boundary-value problem of the Korteweg-de Vries equation on a finite domain. Math. Control Relat. Fields 1, 61-81 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  12. Jia, C, Zhang, BY: Boundary stabilization of the Korteweg-de Vries equation and the Korteweg-de Vries-Burgers equation. Acta Appl. Math. 118, 25-47 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  13. Pava Angulo, J, Natali, F: (Non)linear instability of periodic traveling waves: Klein-Gordon and KdV type equations. Adv. Nonlinear Anal. 3, 95-123 (2014)

    MathSciNet  MATH  Google Scholar 

  14. Yamamoto, M: Carleman estimates for parabolic equations and applications. Inverse Probl. 25, 123013 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  15. Yamamoto, M: Uniqueness and stability in multidimensional hyperbolic inverse problems. J. Math. Pures Appl. 78, 65-98 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  16. Imanuvilov, OY, Yamamoto, M: Global Lipschitz stability in an inverse hyperbolic problem by interior observations. Inverse Probl. 17, 717-728 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  17. Mercado, A, Osses, A, Rosier, L: Inverse problems for the Schrödinger equation via Carleman inequalities with degenerate weights. Inverse Probl. 24, 015017 (2008)

    Article  MATH  Google Scholar 

  18. Baudouin, L, Puel, JP: Uniqueness and stability in an inverse problem for the Schrödinger equation. Inverse Probl. 18, 1537-1554 (2002)

    Article  MATH  Google Scholar 

  19. Cardoulis, L, Cristofol, M, Gaitan, P: Inverse problem for the Schrödinger operator in an unbounded strip. J. Inverse Ill-Posed Probl. 16, 127-164 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  20. Baudouin, L, Cerpa, E, Crépeau, E, Mercado, A: On the determination of the principal coefficient from boundary measurements in a KdV equation. J. Inverse Ill-Posed Probl. 22, 819-845 (2013)

    MathSciNet  MATH  Google Scholar 

  21. Meléndez, PG: Lipschitz stability in an inverse problem for the main coefficient of a Kuramoto-Sivashinsky type equation. J. Math. Anal. Appl. 408, 275-290 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  22. Baudouin, L, Cerpa, E, Crépeau, E, Mercado, A: Lipschitz stability in an inverse problem for the Kuramoto-Sivashinsky equation. Appl. Anal. 92, 2084-2102 (2013)

    Article  MathSciNet  MATH  Google Scholar 

Download references


I sincerely thank the referee for the interesting comments. I also thank Professor Yong Li for many useful suggestions and help. This research was supported by the Fundamental Research Funds for the Central Universities (2412016KJ012) and the NSFC Grant (11601073).

Author information

Authors and Affiliations


Corresponding author

Correspondence to Mo Chen.

Additional information

Competing interests

The author declares that there are no competing interests regarding the publication of this paper.

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Chen, M. Lipschitz stability in an inverse problem for the Korteweg-de Vries equation on a finite domain. Bound Value Probl 2017, 48 (2017).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: