Korteweg--de Vries and Kuramoto--Sivashinsky equations in bounded domains (Q1883082)

The author considers in \(Q=(0,1) \times (0,T),\; t \in (0,T)\) the mixed problem for the generalized Kuramoto-Sivashinsky equation: \[ \begin{aligned} &Lu=u_t+uu_x+ u_{xxx}+\nu (u_{xx}+u_{xxxx})=0 \quad\text{in }Q, \tag{1}\\ &u(x,0)=u_0(x),\quad x \in (0,1),\tag{2}\\ &u(0,t)=\nu u_{xx}(0,t)=u(1,t)=u_x(1,t)+\nu u_{xx}(1,t)=0, \quad t>0.\tag{3}\end{aligned} \] where \(\nu\) are positive constants, and studies asymptotics of solutions to a mixed problem for (1) when \(\nu\) tends to zero, in order to prove therewith that solutions to a mixed problem for the KdV equation may be obtained as singular limits of solutions to a corresponding mixed problem for the KS equation. He proves Theorem. Let \(\nu>0\) and \(u_0 \in H^4(0,1)\cap H_0^1(0,1); \nu u_{0xx}(0)=u_{0x}(1)+\nu u_{0xx}(1)=0\). Then there exists a unique solution to (1)-(3) from the class \[ \begin{aligned} &u \in C(0,T;H^2(0,1)\cap H_0^1(0,1))\cap L^{\infty}(0,T;H^4(0,1)\cap H_0^1(0,1)),\\ &u_t \in L^{\infty}(0,T;L^2(0,T)) \cap L^2(0,T;H^2(0,1)\cap H_0^1(0,1)),\\ &u_{tt} \in L^2(0,T;H^{-2}(0,1)).\end{aligned} \] When \(\nu\) tends to zero, the author obtains the following result for the existence and uniqueness of solutions to the KdV equation. Theorem. Let \(u_0 \in H^3(0,1)\cap H_0^1(0,1); u_{0x}(1)=0\). Then there exists a unique solution to the problem \[ \begin{aligned} &u_t+uu_x+u_{xxx}=0 \quad\text{in } Q, \tag{4}\\ &u(x,0)=u_0(x), \quad x \in (0,1),\tag{5}\\ &u(0,t)=u(1,t)=u_x(1,t)=0, \quad t>0,\tag{6}\end{aligned} \] from the class \[ \begin{aligned} &u \in L^{\infty}(0,T;H^3(0,1) \cap H_0^1(0,1)),\\ &u_t \in L^{\infty}(0,T;L^2(0,1)) \cap L^2(0,T;H_0^1(0,1)).\end{aligned} \] The method to prove is the Faedo-Galerkin method with a special basis. The author shows that if \(\|u_0\|_{L^2(0,1)}\) is sufficiently small, then the \(L^2\)-norm of solutions to the problem (4)--(6) decreases exponentially in time, and no artificial dissipativity in the equation or on the boundaries of the domain is needed for this. He proves also the exponential uniform in \(\nu\) decay for the \(L^2\)-norm of solutions to the regularized problem (1)--(3).