一维可压缩非混相两相流激波解的渐近稳定性

Asymptotic stability of a shock wave for compressible non⁃miscible two⁃phase flows in 1D

摘要

研究了一维可压缩Navier-Stokes/Allen-Cahn方程Cauchy问题解的大时间行为，该方程组描述了具有扩散界面的非混相两相流的流动。利用反导数方法和能量估计证明了一维可压缩Navier-Stokes/Allen-Cahn方程黏性激波解的存在性和渐近稳定性。

Abstract

In this paper， the large-time behavior of the solution to the Cauchy problem for the one-dimensional compressible Navier-Stokes/Allen-Cahn system， which describes the flow of non-miscible two-phase flows with diffusion interfaces， has been studied. Using the anti-derivative and energy method， we demonstrate the existence and asymptotic stability of the viscous shock solution for one-dimensional compressible Navier-Stokes/Allen-Cahn equation.

关键词

Navier-Stokes/Allen-Cahn方程组 / 激波 / 渐近稳定性

Key words

Navier-Stokes/Allen-Cahn system / shock wave / asymptotic stability

引言

非混相两相流在自然界十分常见，在工业领域如水利工程、热能工程以及化工冶金等方面也有着重要的应用价值。

有关两相流理论的研究前人已经有很多成果。Blesgen^［1］在1999年首先提出了可压缩Navier-Stokes/Allen-Cahn（NSAC）模型。当相场为常数时，NSAC方程变成经典的Navier-Stokes（NS）方程，其无黏情况对应于Euler方程。对于一维等熵的Euler方程组基本波问题，Oleinik等^［2］于20世纪60年代开创性地使用极值原理得到了单个黏性守恒律方程激波和稀疏波的稳定性。如果考虑NS方程的基本波问题，对于一维可压缩等熵的NS方程，Matsumura等^［3］和Goodman^［4］首先研究了在小扰动条件下黏性激波的稳定性。此外，对于一维条件下可压缩非等熵NS方程的Cauchy问题，若考虑系统为理想多方气体，且热传导系数为常数的情况，Kawashima等^［5］拓展了文献［3］的结果，得到了非等熵可压缩黏性激波的渐近稳定性。对于一维可压缩NSAC方程的初边值问题，Ding等^［6］得到了不包含真空时整体解的存在唯一性，Chen等^［7］得到了包含真空时整体解的存在唯一性，孙颖等^［8］得到了一类具有周期边值条件的NSAC方程整体解的存在唯一性。对于一维NSAC方程的Cauchy问题，当考虑相场在无穷远处为1时，Luo等^［9-10］得到了等熵和非等熵系统的稀疏波解的存在性和大时间行为。进一步地，Luo等^［11］还得到了NSAC方程一组复合波（2-稀疏波和接触间断）解的大时间行为。Chen等^［12］得到了可压缩NSAC方程尖锐界面极限。

在前人工作的基础上，本文考虑初值在相分离状态附近（即相场在无穷处为\pm \mathrm{1}）的情形，研究一维可压缩NSAC方程组黏性激波解的存在性和渐近稳定性。此外，为了相对容易地得到比容（密度的倒数）的高阶估计，并克服相场和密度耦合项带来的计算困难，我们借鉴了Vasseur等^［13］使用的有效速度方法，并降低了初始条件的正则性。

1 模型的构造及主要定理

本文考虑一维等熵可压缩NSAC方程组^［6］，并利用Langrange坐标变换，可以得到如下系统。

\left\{\begin{array}{l}{v}_{\tilde{t}}-u_{\tilde{x}}=\mathrm{0}\\ u_{\tilde{t}}+p_{\tilde{x}}(v)={\left(\frac{u_{\tilde{x}}}{v}\right)}_{\tilde{x}}-\frac{\mathrm{1}}{\mathrm{2}}{\left(\frac{{\chi }_{\tilde{x}}^{\mathrm{2}}}{v^{\mathrm{2}}}\right)}_{\tilde{x}}\\ {\chi }_{\tilde{t}}=-v\mu \\ \mu =\left({\chi }^{\mathrm{3}}-\chi \right)-{\left(\frac{{\chi }_{\tilde{x}}}{v}\right)}_{\tilde{x}}\end{array}\right.（1）

初值满足

(v,u,\chi ){|}_{\tilde{t}=\mathrm{0}}=(v_{\mathrm{0}},u_{\mathrm{0}},{\chi }_{\mathrm{0}})(\tilde{x})\stackrel{\tilde{x}\to \mathrm{\infty }}{\to }(v_{\pm },u_{\pm },\pm \mathrm{1})（2）

式中，v、u、\chi分别为气液混合物的比容（密度的倒数）、速度及组分的浓度差，p为压力项，\mu为化学势能。

不失一般性，假设p(v)是v的函数，且满足

（3）

考虑如下NS方程。

\left\{\begin{array}{l}{v}_{\tilde{t}}-u_{\tilde{x}}=\mathrm{0}\\ u_{\tilde{t}}+p_{\tilde{x}}(v)={\left(\frac{u_{\tilde{x}}}{v}\right)}_{\tilde{x}}\\ (v,u)(\tilde{x},\mathrm{0})=(v_{\mathrm{0}},u_{\mathrm{0}})(\tilde{x})\end{array}\right.（4）

上述方程初值满足式（2）时，有黏性激波解\left(V,U\right)(\tilde{x}-s\tilde{t})满足如下方程^［3］。

\left\{\begin{array}{l}-s{V}_y-U_y=\mathrm{0}\\ -s{U}_y+p_y(V)={\left(\frac{U_y}{V}\right)}_y\\ \underset{y\to \pm \mathrm{\infty }}{\mathrm{l}\mathrm{i}\mathrm{m}}(V,U)=\left(v_{\pm },u_{\pm }\right)\end{array}\right.（5）

式中，t=\tilde{t},y=\tilde{x}-s\tilde{t}， \left(V,U\right)(y)满足

（6）

且存在正常数c_{\pm }满足

\left\{\begin{array}{l}\left|(V,U)-(v_{\pm },u_{\pm })\right|=O(\mathrm{1}){\delta }_{\mathrm{1}}{\mathrm{e}}^{-c_{\pm }{\delta }_{\mathrm{1}}|y|}\\ \left|V_y,U_y\right|=O(\mathrm{1}){\delta }_{\mathrm{1}}^{\mathrm{2}}{\mathrm{e}}^{-c_{\pm }{\delta }_{\mathrm{1}}|y|}\end{array}\right.（7）

式中，{\delta }_{\mathrm{1}}=|v_{+}-v_{-}|，(v_{-},u_{-})\mathrm{、}(v_{+},u_{+})分别是激波的左状态和右状态， s>\mathrm{0}且满足以下R-H条件

\left\{\begin{array}{l}s\left(v_{+}-v_{-}\right)=u_{-}-u_{+}\\ s\left(u_{+}-u_{-}\right)=p\left(v_{+}\right)-p\left(v_{-}\right)\end{array}\right.

下面引入反导数，设

\left\{\begin{array}{l}\varphi ={\int }_{-\infty }^y(v(z,t)-V(z+\alpha ))dz\\ \psi ={\int }_{-\infty }^y(u(z,t)-U(z+\alpha ))dz\end{array}\right.（8）

令

\left\{\begin{array}{l}{\varphi }_{\mathrm{0}}={\int }_{-\infty }^y(v_{\mathrm{0}}(z,t)-V(z+\alpha ))dz\\ {\psi }_{\mathrm{0}}={\int }_{-\infty }^y(u_{\mathrm{0}}(z,t)-U(z+\alpha ))dz\end{array}\right.（9）

更进一步假设

\left\{\begin{array}{l}{\int }_{-\infty }^{+\infty }(v_{\mathrm{0}}(z,t)-V(z+\alpha ))dz=\mathrm{0}\\ {\int }_{-\infty }^{+\infty }(u_{\mathrm{0}}(z,t)-U(z+\alpha ))dz=\mathrm{0}\end{array}\right.（10）

式中，\alpha =\frac{\mathrm{1}}{v_{+}-v_{-}}{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}(v_{\mathrm{0}}(y)-V(y))\mathrm{d}y。

本文中L^{\mathrm{2}}表示定义在\mathbb{R}上的可积函数组成的空间，其范数为‖f‖={\left({\int }_{\mathbb{R}}{\left|f\right|}^{\mathrm{2}}\mathrm{d}y\right)}^{\mathrm{1}/\mathrm{2}}，H^l(l\ge \mathrm{0})表示Sobolev空间，其范数为{‖f‖}_l={\left({\displaystyle \sum _{j=\mathrm{1}}^l}{‖{\partial }_y^{j}f‖}^{\mathrm{2}}\right)}^{\mathrm{1}/\mathrm{2}}。

定理1 假设初值满足

\begin{array}{l}\left({\varphi }_{\mathrm{0}},{\psi }_{\mathrm{0}}\right)\in H^{\mathrm{2}}(\mathbb{R}),{\chi }_{\mathrm{0}}^{\mathrm{2}}-\mathrm{1}\in L^{\mathrm{2}}(\mathbb{R})\\ {\chi }_{\mathrm{0}\tilde{x}}\in H^{\mathrm{2}}(\mathbb{R}),\underset{\mathbb{R}}{\mathrm{i}\mathrm{n}\mathrm{f}}{v}_{\mathrm{0}}>\mathrm{0}\end{array}

那么存在一个正常数\delta，使得当

{‖\left({\varphi }_{\mathrm{0}},{\psi }_{\mathrm{0}}\right)‖}_{\mathrm{2}}+{‖{\chi }_{\mathrm{0}\tilde{x}}‖}_{\mathrm{2}}+‖{\chi }_{\mathrm{0}}^{\mathrm{2}}-\mathrm{1}‖+\left|v_{+}-v_{-}\right|\le \delta时，Cauchy问题（1）、（2）有唯一的整体解(v,u,\chi )满足

\left\{\begin{array}{l}(v-V,u-U)\in C^{\mathrm{0}}\left([\mathrm{0},+\mathrm{\infty });H^{\mathrm{1}}(\mathrm{R})\right)\\ {\chi }^{\mathrm{2}}-\mathrm{1}\in C^{\mathrm{0}}\left([\mathrm{0},+\mathrm{\infty });L^{\mathrm{2}}(\mathrm{R})\right)\\ {\chi }_{\tilde{x}}\in C^{\mathrm{0}}\left([\mathrm{0},+\mathrm{\infty });H^{\mathrm{2}}(\mathrm{R})\right)\bigcap L^{\mathrm{2}}\left([\mathrm{0},+\mathrm{\infty });H^{\mathrm{3}}(\mathrm{R})\right)\\ v-V\in L^{\mathrm{2}}\left([\mathrm{0},+\mathrm{\infty });H^{\mathrm{1}}(\mathrm{R})\right)\\ u-U\in L^{\mathrm{2}}\left([\mathrm{0},+\mathrm{\infty });H^{\mathrm{2}}(\mathrm{R})\right)\\ -\mathrm{1}\le \chi \le \mathrm{1}\end{array}\right.

此外，有如下大时间行为

\underset{t\to +\mathrm{\infty }}{\mathrm{l}\mathrm{i}\mathrm{m}}\Vert (v-V,u-U,{\chi }^{\mathrm{2}}-\mathrm{1}){\Vert }_{L^{\mathrm{\infty }}(\mathbb{R})}=\mathrm{0}

2 主要定理的证明

定理1的证明主要是利用Schauder不动点定理证明局部解的存在性，并运用反导数和能量估计方法得到该解的一致估计，从而将其延拓到全局解。

2.1 局部解的存在性

利用方程（1）、（5），结合反导数定义得到如下方程组。

\left\{\begin{array}{l}{\varphi }_t-s{\varphi }_y-{\psi }_y=\mathrm{0}\\ {\psi }_t-s{\psi }_y-f(V,U_y){\varphi }_y-\frac{{\psi }_{yy}}{V}=W-\frac{\mathrm{1}}{\mathrm{2}}\frac{{\chi }_y^{\mathrm{2}}}{{\left(V+{\varphi }_y\right)}^{\mathrm{2}}}\\ {\chi }_t-s{\chi }_y=-\left(V+{\varphi }_y\right)\mu \\ \mu =\left({\chi }^{\mathrm{3}}-\chi \right)-{\left(\frac{{\chi }_y}{V+{\varphi }_y}\right)}_y\\ (\varphi ,\psi ,\chi )(y,\mathrm{0})=\left({\varphi }_{\mathrm{0}},{\psi }_{\mathrm{0}},{\chi }_{\mathrm{0}}\right)(y)\end{array}\right.（11）

其中

f(V,U_y)=-p^{\text{'}}(V)-\frac{U_y}{V^{\mathrm{2}}}>\mathrm{0},W=\frac{u_y}{v}-\frac{U_y}{V}-\frac{{\psi }_{yy}}{V}+\frac{U_y{\varphi }_y}{V^{\mathrm{2}}}-[p(v)-p(V)-p^{\text{'}}(V){\varphi }_y]

对于任意给定的m,M>\mathrm{0}，定义如下解空间。

\begin{array}{l}{X}_{m,M}(\mathrm{0},T)=\left\{(\varphi ,\psi ,\chi )\left|(\varphi ,\psi )\in C\left(\mathrm{0},T;H^{\mathrm{2}}\right)，\right.\right.\\ {\chi }^{\mathrm{2}}-\mathrm{1}\in C\left(\mathrm{0},T;L^{\mathrm{2}}\right),{\chi }_y\in C\left(\mathrm{0},T;H^{\mathrm{2}}\right)，\end{array}

\underset{t\in (\mathrm{0},T)}{\mathrm{s}\mathrm{u}\mathrm{p}}\left({‖(\varphi ,\psi )‖}_{\mathrm{2}}+{‖{\chi }_y‖}_{\mathrm{2}}+‖{\chi }^{\mathrm{2}}(t)-\mathrm{1}‖\right)\le M，

\underset{y\in \mathbb{R},t\in (\mathrm{0},T)}{\mathrm{i}\mathrm{n}\mathrm{f}}v(y,t)\ge m>\mathrm{0}｝（12）

命题1给出了方程（11）局部解的存在唯一性的结论。

命题1 \forall M>\mathrm{0}，假如初始值满足

{‖\left({\varphi }_{\mathrm{0}},{\psi }_{\mathrm{0}}\right)‖}_{\mathrm{2}}+{‖{\chi }_{\mathrm{0}y}‖}_{\mathrm{2}}+‖{\chi }_{\mathrm{0}}^{\mathrm{2}}-\mathrm{1}‖\le M（13）

\underset{y\in \mathbb{R}}{\mathrm{i}\mathrm{n}\mathrm{f}}\left(V+{\varphi }_{\mathrm{0}y}\right)>m>\mathrm{0}（14）

那么存在足够小的T^{\mathrm{*}}，使得方程组（11）存在唯一的解(\varphi ,\psi ,\chi )\in X_{\frac{m}{\mathrm{2}},\mathrm{2}M}\left(\left[\mathrm{0},T^{\mathrm{*}}\right]\right)，满足\begin{array}{l}{‖(\varphi ,\psi )‖}_{\mathrm{2}}^{\mathrm{2}}+{‖{\chi }^{\mathrm{2}}-\mathrm{1}‖}^{\mathrm{2}}+{‖{\chi }_y‖}_{\mathrm{2}}^{\mathrm{2}}+{\int }_{\mathrm{0}}^t({‖{\varphi }_y‖}_{\mathrm{1}}^{\mathrm{2}}+\\ {‖{\psi }_y‖}_{\mathrm{2}}^{\mathrm{2}}+{‖{\chi }_y‖}_{\mathrm{3}}^{\mathrm{2}})\mathrm{d}\tau \le C_{\mathrm{0}}\left({‖\left({\varphi }_{\mathrm{0}},{\psi }_{\mathrm{0}}\right)‖}_{\mathrm{2}}^{\mathrm{2}}+\right.{‖{\chi }_{\mathrm{0}}^{\mathrm{2}}-\mathrm{1}‖}^{\mathrm{2}}+\\ \left.{‖{\chi }_{\mathrm{0}y}‖}_{\mathrm{2}}^{\mathrm{2}}\right)\end{array}

并且-\mathrm{1}\le \chi \le \mathrm{1}\mathrm{。}

命题1可以由标准不动点定理证明，此处省去证明细节。为了得到全局解的存在性，将在命题2中给出先验估计。

2.2 全局解的存在性

对于X_{m,M}\left(\mathrm{0},T\right)，若选择M足够的小，不妨设为{\delta }_{\mathrm{0}}，利用Sobolev嵌入定理，存在m_{\mathrm{0}}>\mathrm{0}，使得

（15）

因此，空间X_{m,M}\left(\mathrm{0},T\right)可以简化为如下形式。

\begin{array}{l}{X}_{{\delta }_{\mathrm{0}}}(\mathrm{0},T)=\left\{(\varphi ,\psi ,\chi )\left|(\varphi ,\psi )\in C\left(\mathrm{0},T;H^{\mathrm{2}}\right),\right.\right.\\ {\chi }^{\mathrm{2}}-\mathrm{1}\in C\left(\mathrm{0},T;L^{\mathrm{2}}\right),{\chi }_y\in C\left(\mathrm{0},T;H^{\mathrm{2}}\right),\\ \underset{t\in (\mathrm{0},T)}{\mathrm{s}\mathrm{u}\mathrm{p}}\left.({‖(\varphi ,\psi )‖}_{\mathrm{2}}+{‖{\chi }_y‖}_{\mathrm{2}}+‖{\chi }^{\mathrm{2}}(t)-\mathrm{1}‖)\le {\delta }_{\mathrm{0}}\right\}\end{array}

命题2 假定(\varphi ,\psi ,\chi )\in X_{\delta }([\mathrm{0},+\mathrm{\infty }))是Cauchy问题（11）在某个T>\mathrm{0}时的解，那么存在与T无关的正常数{\delta }_{\mathrm{0}}和C，若满足

{‖\left({\varphi }_{\mathrm{0}},{\psi }_{\mathrm{0}}\right)‖}_{\mathrm{2}}+{‖{\chi }_{\mathrm{0}y}‖}_{\mathrm{2}}+‖{\chi }_{\mathrm{0}}^{\mathrm{2}}-\mathrm{1}‖+\left|v_{+}-v_{-}\right|\le {\delta }_{\mathrm{0}}（16）

那么

\begin{array}{l}\Vert (\varphi ,\psi )(t){\Vert }_{\mathrm{2}}^{\mathrm{2}}+{‖{\chi }_y(t)‖}_{\mathrm{2}}^{\mathrm{2}}+{\int }_{\mathrm{0}}^{+\mathrm{\infty }}({‖{\varphi }_y‖}_{\mathrm{1}}^{\mathrm{2}}+{‖{\psi }_y‖}_{\mathrm{2}}^{\mathrm{2}}+\\ {‖{\chi }_y‖}_{\mathrm{3}}^{\mathrm{2}})\mathrm{d}\tau +{‖{\chi }^{\mathrm{2}}(t)-\mathrm{1}‖}^{\mathrm{2}}\le C({‖\left({\varphi }_{\mathrm{0}},{\psi }_{\mathrm{0}}\right)‖}_{\mathrm{2}}^{\mathrm{2}}+\end{array}{‖{\chi }_{\mathrm{0}}^{\mathrm{2}}-\mathrm{1}‖}^{\mathrm{2}}+{‖{\chi }_{\mathrm{0}y}‖}_{\mathrm{2}}^{\mathrm{2}})（17）

和

{\int }_{\mathrm{0}}^{+\mathrm{\infty }}\left|\frac{\mathrm{d}}{\mathrm{d}t}\left({‖{\varphi }_{yy}‖}^{\mathrm{2}}\right)\right|+\left|\frac{\mathrm{d}}{\mathrm{d}t}\left({‖{\psi }_{yy}‖}^{\mathrm{2}}\right)\right|+\left|\frac{\mathrm{d}}{\mathrm{d}t}\left({‖{\chi }_{yy}‖}^{\mathrm{2}}\right)\right|\mathrm{d}\tau \leC\left({‖\left({\varphi }_{\mathrm{0}},{\psi }_{\mathrm{0}}\right)‖}_{\mathrm{2}}^{\mathrm{2}}+{‖{\chi }_{\mathrm{0}}^{\mathrm{2}}-\mathrm{1}‖}^{\mathrm{2}}+{‖{\chi }_{\mathrm{0}y}‖}_{\mathrm{2}}^{\mathrm{2}}\right)（18）

成立。

下面将给出命题2的证明。为了方便得到先验估计中v的高阶估计，参考文献［13］中的方法引入有效速度h=u-\frac{v_y}{v},H(y)=U-\frac{V_y}{V}，并进一步假设有效速度的反导数为

\tilde{\psi }={\int }_{-\infty }^y(h(z,t)-H(z+\alpha ))dz

代入原方程可以得到以下方程。

\left\{\begin{array}{l}{\varphi }_t-s{\varphi }_y-{\tilde{\psi }}_y-\frac{\mathrm{1}}{V}{\varphi }_{yy}=F-\frac{\mathrm{1}}{V^{\mathrm{2}}}{V}_y{\varphi }_y\\ {\tilde{\psi }}_t-s{\tilde{\psi }}_y+p^{\text{'}}(V){\varphi }_y=G-\frac{\mathrm{1}}{\mathrm{2}}\frac{{\chi }_y^{\mathrm{2}}}{{\left(V+{\varphi }_y\right)}^{\mathrm{2}}}\\ {\chi }_t-s{\chi }_y=-\left(V+{\varphi }_y\right)\mu \\ \mu =\left({\chi }^{\mathrm{3}}-\chi \right)-{\left(\frac{{\chi }_y}{V+{\varphi }_y}\right)}_y\end{array}\right.（19）

初值满足

(\varphi ,\tilde{\psi },\chi {\left.)\right|}_{t=\mathrm{0}}=\left({\varphi }_{\mathrm{0}},{\tilde{\psi }}_{\mathrm{0}},{\chi }_{\mathrm{0}}\right)(y)\stackrel{y\to +\mathrm{\infty }}{\to }(\mathrm{0,0},\pm \mathrm{1})

{\varphi }_{\mathrm{0}},{\tilde{\psi }}_{\mathrm{0}}\in L^{\mathrm{2}}(\mathbb{R}),\left(v_{\mathrm{0}},h_{\mathrm{0}}\right)-(V,H)\in H^{\mathrm{2}}(\mathbb{R})\bigcap L^{\mathrm{1}}(\mathbb{R})

其中

\begin{array}{l}F=\left(\frac{\mathrm{1}}{v}-\frac{\mathrm{1}}{V}\right){\varphi }_{yy}+\left(\frac{\mathrm{1}}{v}-\frac{\mathrm{1}}{V}+\frac{\mathrm{1}}{V^{\mathrm{2}}}{\varphi }_y\right)V_y\\ G=-\left(p(v)-p(V)-p^{\text{'}}(V)(v-V)\right)\end{array}

引理1 假定(\varphi ,\psi ,\chi )\in X_{\delta }(\mathrm{0},T)是式（11）的解，那么对于t\in [\mathrm{0},T]，以下不等式成立。

\left|\chi (x,t)\right|\le \mathrm{1},\forall (x,t)\in (-\mathrm{\infty },+\mathrm{\infty })\times [\mathrm{0},T]（20）

并且满足估计

\begin{array}{l}{‖\left(\varphi ,\tilde{\psi },{\chi }^{\mathrm{2}}-\mathrm{1}\right)(t)‖}^{\mathrm{2}}+{\int }_{\mathrm{0}}^t\left({‖{\varphi }_y‖}^{\mathrm{2}}+{‖\sqrt[]{V_y}\tilde{\psi }‖}^{\mathrm{2}}+\right.\\ \left.{‖{\chi }^{\mathrm{3}}-\chi ‖}^{\mathrm{2}}\right)\mathrm{d}\tau +{\int }_{\mathrm{0}}^t\left({‖{\chi }_y‖}^{\mathrm{2}}\right)\mathrm{d}\tau \le \end{array}

C{‖\left({\varphi }_{\mathrm{0}},{\tilde{\psi }}_{\mathrm{0}},{\chi }_{\mathrm{0}}^{\mathrm{2}}-\mathrm{1}\right)‖}^{\mathrm{2}}+C{\int }_{\mathrm{0}}^t{‖{\varphi }_{yy}‖}^{\mathrm{2}}\mathrm{d}\tau（21）

证明 考虑式（1）中第三、四式，利用抛物方程极大值原理，可得式（20）。将式（19）第一式乘以\varphi，式（19）第二式乘以-\frac{\tilde{\psi }}{p^{\text{'}}(V)}，式（19）第三式乘以{\chi }^{\mathrm{3}}-\chi，各式相加并将结果关于y和t在(-\mathrm{\infty },+\mathrm{\infty })\times [\mathrm{0},t)上积分得

\begin{array}{l}{\left.{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left(\frac{{\varphi }^{\mathrm{2}}}{\mathrm{2}}-\frac{{\tilde{\psi }}^{\mathrm{2}}}{\mathrm{2}{p}^{\text{'}}(V)}+\frac{{\left({\chi }^{\mathrm{2}}-\mathrm{1}\right)}^{\mathrm{2}}}{\mathrm{4}}\right)\mathrm{d}y\right|}_{\mathrm{0}}^t+\\ {\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left(\mathrm{3}{\chi }^{\mathrm{2}}-\mathrm{1}\right){\chi }_y^{\mathrm{2}}\mathrm{d}y\mathrm{d}\tau +\end{array}

{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left(\left(V+{\varphi }_y\right){\left({\chi }^{\mathrm{3}}-\chi \right)}^{\mathrm{2}}+\frac{\mathrm{1}}{V}{\varphi }_y^{\mathrm{2}}+\right.

\left.\frac{s}{\mathrm{2}}\frac{p^{″}(V)}{(p^{\text{'}}{(V))}^{\mathrm{2}}}{V}_y{\tilde{\psi }}^{\mathrm{2}}\right)\mathrm{d}y\mathrm{d}\tau =　　 {\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left(\frac{{\chi }_y^{\mathrm{2}}}{\mathrm{2}{\left(V+{\varphi }_y\right)}^{\mathrm{2}}}\frac{\tilde{\psi }}{p^{\text{'}}(V)}-\right.　　 \left.\frac{V_y+{\varphi }_{yy}}{V+{\varphi }_y}{\chi }_y\chi \left({\chi }^{\mathrm{2}}-\mathrm{1}\right)\right)\mathrm{d}y\mathrm{d}\tau +

{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left(F\varphi -\frac{G\tilde{\psi }}{p^{\text{'}}(V)}\right)\mathrm{d}y\mathrm{d}\tau

利用式（7）可得

\begin{array}{l}|F|=\left|\left(\frac{\mathrm{1}}{v}-\frac{\mathrm{1}}{V}\right){\varphi }_{yy}+\left(\frac{\mathrm{1}}{v}-\frac{\mathrm{1}}{V}+\frac{\mathrm{1}}{V^{\mathrm{2}}}{\varphi }_y\right)V_y\right|\le \\ C\left(\left|{\varphi }_y\right|\left|{\varphi }_{yy}\right|+{\delta }_{\mathrm{1}}^{\mathrm{2}}{\mathrm{e}}^{-c{\delta }_{\mathrm{1}}|y|}{\left|{\varphi }_y\right|}^{\mathrm{2}}\right)\end{array}（22）

|G|\le C{\varphi }_y^{\mathrm{2}}（23）

结合式（15）和式（12），得到

\left|{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}F\varphi \mathrm{d}y\mathrm{d}\tau \right|\le C\delta {\int }_{\mathrm{0}}^t\left({‖{\varphi }_y‖}^{\mathrm{2}}+{‖{\varphi }_{yy}‖}^{\mathrm{2}}\right)\mathrm{d}\tau（24）

\left|{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\frac{G\tilde{\psi }}{p^{\text{'}}(V)}\mathrm{d}y\mathrm{d}\tau \right|\le C\delta {\int }_{\mathrm{0}}^t{‖{\varphi }_y‖}^{\mathrm{2}}\mathrm{d}\tau（25）

再次利用式（15）、（12），可得

\left|{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\frac{{\chi }_y^{\mathrm{2}}}{\mathrm{2}{\left(V+{\varphi }_y\right)}^{\mathrm{2}}}\frac{\tilde{\psi }}{p^{\text{'}}(V)}\mathrm{d}y\mathrm{d}\tau \right|\le C\delta {\int }_{\mathrm{0}}^t{‖{\chi }_y‖}^{\mathrm{2}}\mathrm{d}\tau（26）

和

\left|{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\frac{V_y+{\varphi }_{yy}}{V+{\varphi }_y}{\chi }_y\chi \left({\chi }^{\mathrm{2}}-\mathrm{1}\right)\mathrm{d}y\mathrm{d}\tau \right|\le \frac{\delta }{\mathrm{2}}{\int }_{\mathrm{0}}^t{‖{\chi }_y‖}^{\mathrm{2}}\mathrm{d}\tau +C{\delta }_{\mathrm{1}}{\int }_{\mathrm{0}}^t{‖{\chi }^{\mathrm{3}}-\chi ‖}^{\mathrm{2}}\mathrm{d}\tau +C{\int }_{\mathrm{0}}^t{‖{\varphi }_{yy}‖}^{\mathrm{2}}\mathrm{d}\tau（27）

结合式（24）~（27）和式（6）、（7），选取\delta \mathrm{、}{\delta }_{\mathrm{1}}足够的小，可得式（21），引理1证毕。

引理2 假定(\varphi ,\psi ,\chi )\in X_{\delta }(\mathrm{0},T)是式（11）的解，那么对于t\in [\mathrm{0},T]，则以下不等式成立。

{‖\left({\varphi }_y,{\tilde{\psi }}_y,{\chi }_y\right)(t)‖}^{\mathrm{2}}+{\int }_{\mathrm{0}}^t\left({‖{\varphi }_{yy}‖}^{\mathrm{2}}+{‖{\tilde{\psi }}_y‖}^{\mathrm{2}}+{‖{\chi }_{yy}‖}^{\mathrm{2}}\right)\mathrm{d}\tau \le

C{‖\left({\varphi }_{\mathrm{0}y},{\tilde{\psi }}_{\mathrm{0}y},{\chi }_{\mathrm{0}y}\right)‖}^{\mathrm{2}}（28）

证明 将式（19）第一式乘以-{\varphi }_{yy}，式（19）第二式乘以-\frac{{\tilde{\psi }}_{yy}}{p^{\text{'}}(V)}，式（19）第三式乘以{\chi }_{yy}，相加并将结果关于y和t在(-\mathrm{\infty },+\mathrm{\infty })\times [\mathrm{0},t)上积分得

\begin{array}{l}{\left.{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left(\frac{{\varphi }_y^{\mathrm{2}}}{\mathrm{2}}-\frac{{\tilde{\psi }}_y^{\mathrm{2}}}{\mathrm{2}{p}^{\text{'}}(V)}+{\chi }_y^{\mathrm{2}}\right)\mathrm{d}y\right|}_{\mathrm{0}}^t+{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left(V+{\varphi }_y\right)\left(\mathrm{3}{\chi }^{\mathrm{2}}-\mathrm{1}\right){\chi }_y^{\mathrm{2}}\mathrm{d}y\mathrm{d}\tau +\\ {\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left({\chi }_{yy}^{\mathrm{2}}+\frac{{\varphi }_{yy}^{\mathrm{2}}}{V}\right.+\frac{s{p}^{″}(V)V_y}{{\left(p^{\text{'}}(V)\right)}^{\mathrm{2}}}{\tilde{\psi }}_y^{\mathrm{2}}-F{\varphi }_{yy}+\left.\frac{V_y}{V^{\mathrm{2}}}{\varphi }_y{\varphi }_{yy}\right)\mathrm{d}y\mathrm{d}\tau =\\ {\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left(-{\left(\frac{\mathrm{1}}{p^{\text{'}}(V)}\right)}_y{p}^{\text{'}}(V){\varphi }_y{\tilde{\psi }}_y-\frac{\mathrm{1}}{p^{\text{'}}(V)}{G}_y{\tilde{\psi }}_y\right)\mathrm{d}y\mathrm{d}\tau +\\ {\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left(-\left(V_y+{\varphi }_{yy}\right)\left({\chi }^{\mathrm{3}}-\chi \right){\chi }_y+\frac{V_y+{\varphi }_{yy}}{V+{\varphi }_y}{\chi }_y{\chi }_{yy}\right)\mathrm{d}y\mathrm{d}\tau \end{array}（29）

利用式（12）、（22）和（23），得到

\left|{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left(F{\varphi }_{yy}-\frac{V_y}{V^{\mathrm{2}}}{\varphi }_y{\varphi }_{yy}\right)\mathrm{d}y\mathrm{d}\tau \right|\le C{\int }_{\mathrm{0}}^t\delta {‖{\varphi }_{yy}‖}^{\mathrm{2}}+{‖{\varphi }_y‖}^{\mathrm{2}}\mathrm{d}\tau

以及

\begin{array}{l}\left|{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left[-{\left(\frac{\mathrm{1}}{p^{\text{'}}(V)}\right)}_y{p}^{\text{'}}(V){\varphi }_y{\tilde{\psi }}_y-\frac{\mathrm{1}}{p^{\text{'}}(V)}{G}_y{\tilde{\psi }}_y\right]\mathrm{d}y\mathrm{d}\tau \right|\le \\ {\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\frac{s}{\mathrm{2}}\frac{p^{″}(V)V_y}{{\left(p^{\text{'}}(V)\right)}^{\mathrm{2}}}{\tilde{\psi }}_y^{\mathrm{2}}\mathrm{d}y\mathrm{d}\tau +C\delta {\int }_{\mathrm{0}}^t\left({‖{\tilde{\psi }}_y‖}^{\mathrm{2}}+{‖{\tilde{\psi }}_{yy}‖}^{\mathrm{2}}\right)\mathrm{d}\tau \end{array}

更进一步得到

\left|{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left(\frac{V_y+{\varphi }_{yy}}{V+{\varphi }_y}{\chi }_y{\chi }_{yy}-\left(V_y+{\varphi }_{yy}\right)\left({\chi }^{\mathrm{3}}-\chi \right){\chi }_y\right)\mathrm{d}y\mathrm{d}\tau \right|\le

\frac{\mathrm{1}}{\mathrm{2}}{\int }_{\mathrm{0}}^t\left({‖{\chi }_{yy}‖}^{\mathrm{2}}+\frac{\mathrm{1}}{v_{+}}{‖{\varphi }_{yy}‖}^{\mathrm{2}}\right)\mathrm{d}\tau +C\left(\delta +\left|v_{+}-v_{-}\right|\right){\int }_{\mathrm{0}}^t{‖{\chi }^{\mathrm{3}}-\chi ‖}^{\mathrm{2}}\mathrm{d}\tau

利用上述估计结合引理1，选取\delta \mathrm{、}{\delta }_{\mathrm{1}}足够的小，得到

\begin{array}{l}\begin{array}{l}{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left({\varphi }_y^{\mathrm{2}}+{\tilde{\psi }}_y^{\mathrm{2}}+{\chi }_y^{\mathrm{2}}\right)\mathrm{d}y+\\ {\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left({\varphi }_{yy}^{\mathrm{2}}+V_y{\tilde{\psi }}_y^{\mathrm{2}}+{\chi }_{yy}^{\mathrm{2}}+{\chi }_y^{\mathrm{2}}\right)\mathrm{d}y\mathrm{d}\tau \le \end{array}\\ C{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left({\varphi }_{\mathrm{0}y}^{\mathrm{2}}+{\tilde{\psi }}_{\mathrm{0}y}^{\mathrm{2}}+{\chi }_{\mathrm{0}y}^{\mathrm{2}}\right)\mathrm{d}y+C{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}{\varphi }_y^{\mathrm{2}}\mathrm{d}y\mathrm{d}\tau \end{array}

再利用引理1，得到

{‖\left({\varphi }_y,{\tilde{\psi }}_y,{\chi }_y\right)(t)‖}^{\mathrm{2}}+{\int }_{\mathrm{0}}^t\left({‖{\varphi }_{yy}‖}^{\mathrm{2}}+{‖\sqrt[]{V_y}{\tilde{\psi }}_y‖}^{\mathrm{2}}+{‖{\chi }_{yy}‖}^{\mathrm{2}}\right)\mathrm{d}\tau \leC{‖\left({\varphi }_{\mathrm{0}y},{\tilde{\psi }}_{\mathrm{0}y},{\chi }_{\mathrm{0}y}\right)‖}^{\mathrm{2}}（30）

将式（19）第一式乘以{\tilde{\psi }}_y，式（19）第二式关于y求导并乘以\varphi，两式相加并将结果关于y和t在(-\mathrm{\infty },+\mathrm{\infty })\times [\mathrm{0},t)上积分，再利用式（29）、（30）和引理1，引理2得证。

结合引理1和引理2可以得到

{‖\left(\varphi ,\tilde{\psi }\right)(t)‖}_{\mathrm{1}}^{\mathrm{2}}+{‖{\chi }^{\mathrm{2}}-\mathrm{1}‖}^{\mathrm{2}}+{‖{\chi }_y‖}^{\mathrm{2}}+{\int }_{\mathrm{0}}^t{‖{\varphi }_y‖}_{\mathrm{1}}^{\mathrm{2}}\mathrm{d}\tau +{\int }_{\mathrm{0}}^t\left({‖\sqrt[]{V_y}\tilde{\psi }‖}^{\mathrm{2}}+{‖{\tilde{\psi }}_y‖}^{\mathrm{2}}+{‖{\chi }_y‖}_{\mathrm{1}}^{\mathrm{2}}+{‖{\chi }^{\mathrm{3}}-\chi ‖}^{\mathrm{2}}\right)\mathrm{d}\tau \le

C\left({‖\left({\varphi }_{\mathrm{0}},{\tilde{\psi }}_{\mathrm{0}}\right)‖}_{\mathrm{1}}^{\mathrm{2}}+{‖{\chi }_{\mathrm{0}}^{\mathrm{2}}-\mathrm{1}‖}^{\mathrm{2}}+{‖{\chi }_{\mathrm{0}y}‖}^{\mathrm{2}}\right)（31）

引理3 假定(\varphi ,\psi ,\chi )\in X_{\delta }(\mathrm{0},T)是式（11）的解，那么对于t\in [\mathrm{0},T]，则以下不等式成立。

({‖\varphi ‖}_{\mathrm{1}}^{\mathrm{2}}+{‖\psi ‖}^{\mathrm{2}})(t)+{‖{\chi }^{\mathrm{2}}-\mathrm{1}‖}^{\mathrm{2}}+{‖{\chi }_y‖}^{\mathrm{2}}+{\int }_{\mathrm{0}}^t\left({‖{\varphi }_y‖}_{\mathrm{1}}^{\mathrm{2}}+{‖{\psi }_y‖}^{\mathrm{2}}+{‖{\chi }_y‖}_{\mathrm{1}}^{\mathrm{2}}+{‖{\chi }^{\mathrm{3}}-\chi ‖}^{\mathrm{2}}\right)\mathrm{d}\tau \leC\left({‖{\psi }_{\mathrm{0}}‖}_{\mathrm{1}}^{\mathrm{2}}+{‖{\varphi }_{\mathrm{0}}‖}_{\mathrm{2}}^{\mathrm{2}}+{‖{\chi }_{\mathrm{0}}^{\mathrm{2}}-\mathrm{1}‖}^{\mathrm{2}}+{‖{\chi }_{\mathrm{0}y}‖}^{\mathrm{2}}\right)（32）

证明 利用有效速度的定义

\tilde{\psi }(y,t)={\int }_{-\mathrm{\infty }}^y\left[u(\xi ,t)-U\left(\xi ,t\right)\right]\mathrm{d}y-\left[g(v(\xi ,t))-g\left(V\left(\xi ,t\right)\right)\right]

其中g(v)=\frac{v_y}{v},由于\tilde{\psi }(y,t)\le \psi (y,t)+C\left|{\varphi }_y(y,t)\right|,可以推出\left|\tilde{\psi }(y,t)\right|\le \left|\psi (y,t)\right|+C\left|{\varphi }_y(y,t)\right|。类似地得到{‖\psi ‖}^{\mathrm{2}}(t)\le {‖\tilde{\psi }‖}^{\mathrm{2}}(t)+C{‖{\varphi }_y‖}^{\mathrm{2}}(t)。利用低阶估计式（31），得到

{‖\psi ‖}^{\mathrm{2}}(t)\le {‖\tilde{\psi }‖}^{\mathrm{2}}(t)+C{‖\varphi ‖}_{\mathrm{1}}^{\mathrm{2}}(t)\le C{‖\left({\varphi }_{\mathrm{0}},{\tilde{\psi }}_{\mathrm{0}}\right)‖}_{\mathrm{1}}^{\mathrm{2}}

类似地可以得到

{\int }_{\mathrm{0}}^t{‖{\psi }_y‖}^{\mathrm{2}}\mathrm{d}\tau \le {\int }_{\mathrm{0}}^t\left({‖{\tilde{\psi }}_y‖}^{\mathrm{2}}+C{‖{\varphi }_y‖}_{\mathrm{1}}^{\mathrm{2}}\right)\mathrm{d}\tau \le C{‖\left({\varphi }_{\mathrm{0}},{\tilde{\psi }}_{\mathrm{0}}\right)‖}_{\mathrm{1}}^{\mathrm{2}}

以及

{‖{\tilde{\psi }}_{\mathrm{0}}‖}_{\mathrm{1}}^{\mathrm{2}}\le {‖{\psi }_{\mathrm{0}}‖}_{\mathrm{1}}^{\mathrm{2}}+C{‖{\varphi }_{\mathrm{0}}‖}_{\mathrm{2}}^{\mathrm{2}}

结合以上表达式，得到引理3的证明。

引理4 假定(\varphi ,\psi ,\chi )\in X_{\delta }(\mathrm{0},T)是式（11）的解，那么对于t\in [\mathrm{0},T]，则以下不等式成立。

{‖\left({\chi }_y,{\psi }_y\right)\left(t\right)‖}^{\mathrm{2}}+{\int }_{\mathrm{0}}^t{‖{\psi }_{yy}‖}^{\mathrm{2}}\mathrm{d}\tau +{\int }_{\mathrm{0}}^t{‖{\chi }_y‖}_{\mathrm{1}}^{\mathrm{2}}\mathrm{d}\tau \le

C\left({‖{\psi }_{\mathrm{0}}‖}_{\mathrm{1}}^{\mathrm{2}}+{‖{\varphi }_{\mathrm{0}}‖}_{\mathrm{2}}^{\mathrm{2}}+{‖{\chi }_{\mathrm{0}}^{\mathrm{2}}-\mathrm{1}‖}^{\mathrm{2}}+{‖{\chi }_{\mathrm{0}y}‖}^{\mathrm{2}}\right)（33）

证明 将式（11）第二式乘以-{\psi }_{yy}，式（11）第三式乘以{\chi }_{yy}，两者相加并将结果关于t和y在(-\mathrm{\infty },+\mathrm{\infty })\times [\mathrm{0},t)上积分，得到

\frac{\mathrm{1}}{\mathrm{2}}{‖\left({\chi }_y,{\psi }_y\right)\left(t\right)‖}^{\mathrm{2}}+{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left(\left(V+{\varphi }_y\right)\left(\mathrm{3}{\chi }^{\mathrm{2}}-\mathrm{1}\right){\chi }_y^{\mathrm{2}}+W{\psi }_{yy}\right)\mathrm{d}y\mathrm{d}\tau +{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left({\chi }_{yy}^{\mathrm{2}}+\frac{{\psi }_{yy}^{\mathrm{2}}}{V}\right)\mathrm{d}y\mathrm{d}\tau +{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left[\left(V_y+{\varphi }_{yy}\right)\left({\chi }^{\mathrm{3}}-\chi \right){\chi }_y\right]\mathrm{d}y\mathrm{d}\tau =\frac{\mathrm{1}}{\mathrm{2}}{‖\left({\chi }_{\mathrm{0}y},{\psi }_{\mathrm{0}y}\right)\left(t\right)‖}^{\mathrm{2}}+{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\frac{\mathrm{1}}{\mathrm{2}}{\psi }_{yy}\frac{{\chi }_y^{\mathrm{2}}}{(V+{\varphi }_y{)}^{\mathrm{2}}}\mathrm{d}y\mathrm{d}\tau -{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}f(V,U_y){\varphi }_y{\psi }_{yy}\mathrm{d}y\mathrm{d}\tau +{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left(\frac{V_y+{\varphi }_{yy}}{V+{\varphi }_y}{\chi }_y{\chi }_{yy}\right)\mathrm{d}y\mathrm{d}\tau

利用Cauchy不等式，得到

\left|{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}-f(V,U_y){\varphi }_y{\psi }_{yy}\mathrm{d}y\mathrm{d}\tau \right|\le \epsilon {\int }_{\mathrm{0}}^t{‖{\psi }_{yy}‖}^{\mathrm{2}}\mathrm{d}\tau +C_{\epsilon }{\int }_{\mathrm{0}}^t{‖{\varphi }_y‖}^{\mathrm{2}}\mathrm{d}\tau

利用Sobolev不等式，得到

\left|{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}-W{\psi }_{yy}\mathrm{d}y\mathrm{d}\tau \right|\le C\delta {\int }_{\mathrm{0}}^t\left({‖{\varphi }_y‖}^{\mathrm{2}}+{‖{\psi }_{yy}‖}^{\mathrm{2}}\right)\mathrm{d}\tau

\left|{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\frac{\mathrm{1}}{\mathrm{2}}{\psi }_{yy}\frac{{\chi }_y^{\mathrm{2}}}{(V+{\varphi }_y{)}^{\mathrm{2}}}\mathrm{d}y\mathrm{d}\tau \right|\le C{\int }_{\mathrm{0}}^t{‖{\chi }_y‖}^{\mathrm{2}}\mathrm{d}\tau

易知

\left|{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left[-\left(V_y+{\varphi }_{yy}\right)\left({\chi }^{\mathrm{3}}-\chi \right){\chi }_y+\frac{V_y+{\varphi }_{yy}}{V+{\varphi }_y}{\chi }_y{\chi }_{yy}\right]\mathrm{d}y\mathrm{d}\tau \right|\le \frac{\mathrm{1}}{\mathrm{2}}{\int }_{\mathrm{0}}^t\left({‖{\chi }_{yy}‖}^{\mathrm{2}}+\frac{\mathrm{1}}{v_{+}}{‖{\varphi }_{yy}‖}^{\mathrm{2}}\right)\mathrm{d}\tau +C\left(\delta +\left|v_{+}-v_{-}\right|\right){\int }_{\mathrm{0}}^t{‖{\chi }^{\mathrm{3}}-\chi ‖}^{\mathrm{2}}\mathrm{d}\tau

综上所述引理4得证。

引理5 假定(\varphi ,\psi ,\chi )\in X_{\delta }(\mathrm{0},T)是式（11）的解，那么对于t\in [\mathrm{0},T]，则以下不等式成立。

\begin{array}{l}{‖{\chi }_{yy}‖}^{\mathrm{2}}+{‖{\varphi }_{yy}‖}^{\mathrm{2}}+{\int }_{\mathrm{0}}^t\left({‖{\varphi }_{yy}‖}^{\mathrm{2}}+{‖{\chi }_{yyy}‖}^{\mathrm{2}}\right)\mathrm{d}\tau \le \\ C\left({‖{\varphi }_{\mathrm{0}}‖}_{\mathrm{2}}^{\mathrm{2}}+{‖{\psi }_{\mathrm{0}}‖}_{\mathrm{1}}^{\mathrm{2}}+{‖{\chi }_{\mathrm{0}}^{\mathrm{2}}-\mathrm{1}‖}^{\mathrm{2}}+{‖{\chi }_{\mathrm{0}y}‖}_{\mathrm{1}}^{\mathrm{2}}\right)+\\ C\delta {\int }_{\mathrm{0}}^t{‖{\psi }_{yyy}‖}^{\mathrm{2}}\mathrm{d}\tau \end{array}（34）

证明 将式（11）第一式关于y微分，利用式（11）第二式得到

\begin{array}{l}\frac{{\varphi }_{ty}}{V}-\frac{s{\varphi }_{yy}}{V}+f(V,U_y){\varphi }_y={\psi }_t-s{\psi }_y-W+\\ \frac{\mathrm{1}}{\mathrm{2}}·\frac{{\chi }_y^{\mathrm{2}}}{{\left(V+{\varphi }_y\right)}^{\mathrm{2}}}\end{array}（35）

将式（11）第三式对y求导两次并乘以{\chi }_{yy}，将式（35）关于y微分并乘以{\varphi }_{yy}，两者相加并将结果关于t和y在(-\mathrm{\infty },+\mathrm{\infty })\times [\mathrm{0},t)上积分，得到

\begin{array}{l}\frac{\mathrm{1}}{\mathrm{2}}{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}{\left.\left({\chi }_{yy}^{\mathrm{2}}+\frac{{\varphi }_{yy}^{\mathrm{2}}}{V}\right)\right|}_{\mathrm{0}}^t\mathrm{d}y+{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}{\chi }_{yyy}^{\mathrm{2}}\mathrm{d}y\mathrm{d}\tau +{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left(f(V,U_y)+\frac{s}{\mathrm{2}}{\left(\frac{\mathrm{1}}{V}\right)}_y\right){\varphi }_{yy}^{\mathrm{2}}\mathrm{d}y\mathrm{d}\tau =\\ {\left.{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}{\psi }_y{\varphi }_{yy}\right|}_{\mathrm{0}}^t\mathrm{d}y+{\int }_{\mathrm{0}}^t{‖{\psi }_{yy}‖}^{\mathrm{2}}\mathrm{d}\tau +{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}\frac{\mathrm{1}}{\mathrm{2}}{\varphi }_{yy}{\left(\frac{{\chi }_y^{\mathrm{2}}}{(V+{\varphi }_y{)}^{\mathrm{2}}}\right)}_y\mathrm{d}y\mathrm{d}\tau -{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}{\left(\frac{\mathrm{1}}{V}\right)}_y{\psi }_{yy}{\varphi }_{yy}\mathrm{d}y\mathrm{d}\tau -{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}f(V,U_y{)}_y{\varphi }_y{\varphi }_{yy}\mathrm{d}y\mathrm{d}\tau +{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left(\left(V_y+{\varphi }_{yy}\right)\left({\chi }^{\mathrm{3}}-\chi \right)+\left(V+{\varphi }_y\right)\left(\mathrm{3}{\chi }^{\mathrm{2}}-\mathrm{1}\right){\chi }_y\right){\chi }_{yyy}\mathrm{d}y\mathrm{d}\tau -{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left(V_y+{\varphi }_{yy}\right)\left(\frac{{\chi }_{yy}{\chi }_{yyy}}{V+{\varphi }_y}+{\left(\frac{\mathrm{1}}{V+{\varphi }_y}\right)}_y{\chi }_y{\chi }_{yyy}\right)\mathrm{d}y\mathrm{d}\tau -{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left(\left(V+{\varphi }_y\right){\left(\frac{\mathrm{1}}{V+{\varphi }_y}\right)}_{yy}{\chi }_y{\chi }_{yyy}\right)\mathrm{d}y\mathrm{d}\tau -{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}{W}_y{\varphi }_{yy}\mathrm{d}y\mathrm{d}\tau -{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left(\mathrm{2}\left(V+{\varphi }_y\right){\left(\frac{\mathrm{1}}{V+{\varphi }_y}\right)}_y{\chi }_{yy}{\chi }_{yyy}\right)\mathrm{d}y\mathrm{d}\tau \end{array}

利用Cauchy不等式，得到

{\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}{\psi }_y{\varphi }_{yy}\mathrm{d}y\le \epsilon {‖{\varphi }_{yy}‖}^{\mathrm{2}}+C_{\epsilon }{‖{\psi }_y‖}^{\mathrm{2}}

而{\int }_{\mathrm{0}}^t{‖{\psi }_{yy}‖}^{\mathrm{2}}\mathrm{d}\tau由引理4控制，利用Cauchy不等式，可得

\left|-{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}{W}_y{\varphi }_{yy}\mathrm{d}y\mathrm{d}\tau \right|\le \epsilon {\int }_{\mathrm{0}}^t{‖{\varphi }_{yy}‖}^{\mathrm{2}}\mathrm{d}\tau +C_{\epsilon }\delta {\int }_{\mathrm{0}}^t\left({‖{\varphi }_y‖}_{\mathrm{1}}^{\mathrm{2}}+{‖{\psi }_y‖}_{\mathrm{2}}^{\mathrm{2}}\right)\mathrm{d}\tau

\left|{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}-{\left(\frac{\mathrm{1}}{V}\right)}_y{\psi }_{yy}{\varphi }_{yy}\mathrm{d}y\mathrm{d}\tau \right|\le \epsilon {\int }_{\mathrm{0}}^t{‖{\varphi }_{yy}‖}^{\mathrm{2}}\mathrm{d}\tau +C_{\epsilon }{\int }_{\mathrm{0}}^t{‖{\psi }_{yy}‖}^{\mathrm{2}}\mathrm{d}\tau

利用，可得

\left|-{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}f(V,U_y{)}_y{\varphi }_y{\varphi }_{yy}\mathrm{d}y\mathrm{d}\tau \right|\le \epsilon {\int }_{\mathrm{0}}^t{‖{\varphi }_{yy}‖}^{\mathrm{2}}\mathrm{d}\tau +C_{\epsilon }{\int }_{\mathrm{0}}^t{‖{\varphi }_y‖}^{\mathrm{2}}\mathrm{d}\tau

\left|{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\frac{\mathrm{1}}{\mathrm{2}}{\varphi }_{yy}{\left(\frac{{\chi }_y^{\mathrm{2}}}{(V+{\varphi }_y{)}^{\mathrm{2}}}\right)}_y\mathrm{d}y\mathrm{d}\tau \right|\le C{\int }_{\mathrm{0}}^t\left({‖{\chi }_y‖}^{\mathrm{2}}+{‖{\chi }_{yy}‖}^{\mathrm{2}}\right)\mathrm{d}\tau

\begin{array}{l}\left|{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left[\left(V_y+{\varphi }_{yy}\right)\left({\chi }^{\mathrm{3}}-\chi \right){\chi }_{yyy}\right]\mathrm{d}y\mathrm{d}\tau \right.+\\ \left.{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left[\left(V+{\varphi }_y\right)\left(\mathrm{3}{\chi }^{\mathrm{2}}-\mathrm{1}\right){\chi }_y{\chi }_{yyy}\right]\mathrm{d}y\mathrm{d}\tau \right|\le \\ C{\int }_{\mathrm{0}}^t\left({‖{\chi }_y‖}^{\mathrm{2}}+{‖{\chi }^{\mathrm{3}}-\chi ‖}^{\mathrm{2}}\right)\mathrm{d}\tau +\frac{\mathrm{1}}{\mathrm{8}}{\int }_{\mathrm{0}}^t{‖{\chi }_{yyy}‖}^{\mathrm{2}}\mathrm{d}\tau \end{array}

\begin{array}{l}\left|-{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left(V_y+{\varphi }_{yy}\right)\left[{\left(\frac{\mathrm{1}}{V+{\varphi }_y}\right)}_y{\chi }_y{\chi }_{yyy}\right]\mathrm{d}y\mathrm{d}\tau \right.-\\ {\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left(V_y+{\varphi }_{yy}\right)\left(\frac{{\chi }_{yy}{\chi }_{yyy}}{V+{\varphi }_y}\right)\mathrm{d}y\mathrm{d}\tau -\\ {\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left[\left(V+{\varphi }_y\right){\left(\frac{\mathrm{1}}{V+{\varphi }_y}\right)}_{yy}{\chi }_y{\chi }_{yyy}\right]\mathrm{d}y\mathrm{d}\tau -\\ \left.{\int }_{\mathrm{0}}^t{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left[\mathrm{2}\left(V+{\varphi }_y\right){\left(\frac{\mathrm{1}}{V+{\varphi }_y}\right)}_y{\chi }_{yy}{\chi }_{yyy}\right]\mathrm{d}y\mathrm{d}\tau \right|\le \\ C{\int }_{\mathrm{0}}^t\left({‖{\chi }_y‖}^{\mathrm{2}}+{‖{\chi }_{yy}‖}^{\mathrm{2}}\right)\mathrm{d}\tau +\frac{\mathrm{1}}{\mathrm{8}}{\int }_{\mathrm{0}}^t{‖{\chi }_{yyy}‖}^{\mathrm{2}}\mathrm{d}\tau \end{array}

再利用引理3和引理4，引理5得证。

引理6 假定(\varphi ,\psi ,\chi )\in X_{\delta }(\mathrm{0},T)是式（11）的解，那么对于t\in [\mathrm{0},T]，以下不等式成立。

{‖{\chi }_{yyy}‖}^{\mathrm{2}}+{‖{\psi }_{yy}‖}^{\mathrm{2}}+{\int }_{\mathrm{0}}^t{‖{\psi }_{yyy}‖}^{\mathrm{2}}\mathrm{d}\tau +{\int }_{\mathrm{0}}^t{‖{\chi }_{yyyy}‖}^{\mathrm{2}}\mathrm{d}\tau \leC\left({‖\left({\varphi }_{\mathrm{0}},{\psi }_{\mathrm{0}}\right)‖}_{\mathrm{2}}^{\mathrm{2}}+{‖{\chi }_{\mathrm{0}}^{\mathrm{2}}-\mathrm{1}‖}^{\mathrm{2}}+{‖{\chi }_{\mathrm{0}y}‖}_{\mathrm{2}}^{\mathrm{2}}\right)（36）

证明 运用与引理5类似的方法将得到三阶导数的估计，此处省去细节。

下面证明命题2中的式（18）。将式（11）第一式关于y微分两次，并将结果乘以{\varphi }_{yy}，然后关于y在R上积分，得到

\frac{\mathrm{1}}{\mathrm{2}}\frac{\mathrm{d}}{\mathrm{d}t}\left({‖{\varphi }_{yy}‖}^{\mathrm{2}}\right)=-{\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}\left({\psi }_{yy}{\varphi }_{yyy}\right)\mathrm{d}y（37）

利用式（17），得到

{\int }_{\mathrm{0}}^{+\mathrm{\infty }}\left|\frac{\mathrm{d}}{\mathrm{d}t}\left({‖{\varphi }_{yy}‖}^{\mathrm{2}}\right)\right|\mathrm{d}\tau \le C_{\mathrm{0}}\left({‖\left({\varphi }_{\mathrm{0}},{\psi }_{\mathrm{0}}\right)‖}_{\mathrm{2}}^{\mathrm{2}}+{‖{\chi }_{\mathrm{0}}^{\mathrm{2}}-\mathrm{1}‖}^{\mathrm{2}}+{‖{\chi }_{\mathrm{0}y}‖}_{\mathrm{2}}^{\mathrm{2}}\right)（38）

类似地，可以得到

{\int }_{\mathrm{0}}^{+\mathrm{\infty }}\left[\left|\frac{\mathrm{d}}{\mathrm{d}t}\left({‖{\psi }_{yy}‖}^{\mathrm{2}}\right)\right|+\left|\frac{\mathrm{d}}{\mathrm{d}t}\left({‖{\chi }_y‖}^{\mathrm{2}}\right)\right|\right]\mathrm{d}\tau \leC_{\mathrm{0}}\left({‖\left({\varphi }_{\mathrm{0}},{\psi }_{\mathrm{0}}\right)‖}_{\mathrm{2}}^{\mathrm{2}}+{‖{\chi }_{\mathrm{0}}^{\mathrm{2}}-\mathrm{1}‖}^{\mathrm{2}}+{‖{\chi }_{\mathrm{0}y}‖}_{\mathrm{2}}^{\mathrm{2}}\right)（39）

由式（37）~（39）可以推出先验估计式（18），命题2证毕。

再利用Sobolev不等式，可以得到

\underset{t\to \mathrm{0}}{\mathrm{l}\mathrm{i}\mathrm{m}}{‖{\varphi }_y,{\psi }_y,{\chi }^{\mathrm{2}}-\mathrm{1}‖}_{L^{\mathrm{\infty }}(\mathbb{R})}=\mathrm{0}

因此定理1证毕。

3 结束语

本文研究了一维等熵Navier-Stokes/Allen-Cahn方程组黏性激波解的渐进稳定性。在初值小扰动的条件下，考虑在相分离状态附近的情形，并通过引入有效速度降低了初始条件的正则性，证明了NSAC方程激波解的存在性和大时间行为。

参考文献

[1] BLESGEN T. A generalization of the Navier⁃Stokes equations to two⁃phase flows［J］. Journal of Physics D⁃ Applied Physics，1999，32（10）： 1119-1123.

[2] IL’IN A M， KALASHNIKOV A S， OLEINIK O A. Linear equations of the second order of parabolic type［J］. Russian Mathematical Surveys，1962，17（3）： 1-143.

[3] MATSUMURA A， NISHIHARA K. On the stability of travelling wave solutions of a one⁃dimensional model system for compressible viscous gas［J］. Japan Journal of Applied Mathematics，1985，2： 17-25.

[4] GOODMAN J. Nonlinear asymptotic stability of viscous shock profiles for conservation laws［J］. Archive for Rational Mechanics and Analysis，1986，95： 325-344.

[5] KAWASHIMA S， MATSUMURA A. Asymptotic stability of traveling wave solutions of systems for one⁃dimensional gas motion［J］. Communications in Mathematical Physics，1985，101： 97-127.

[6] DING S J， LI Y H， LUO W L. Global solutions for a coupled compressible Navier-Stokes/Allen-Cahn system in 1D［J］. Journal of Mathematical Fluid Mechanics，2013，15： 335-360.

[7] CHEN M T， GUO X W. Global large solutions for a coupled compressible Navier-Stokes/Allen-Cahn system with initial vacuum［J］. Nonlinear Analysis： Real World Applications，2017，37：350-373.

[8] 孙颖，陈亚洲. 可压缩气液两相流的一维流动分析［J］. 北京化工大学学报（自然科学版），2019，46（3）：117-122.

[9] SUN Y， CHEN Y Z. The flow for 1D compressible two⁃phase fluids for an immiscible gas⁃liquid［J］. Journal of Beijing University of Chemical Technology （Natural Science），2019，46（3）：117-122.（in Chinese）

[10] LUO T， YIN H Y， ZHU C J. Stability of the rarefaction wave for a coupled compressible Navier-Stokes/Allen-Cahn system［J］. Mathematical Methods in the Applied Sciences，2018，41（12）： 4724-4736.

[11] LUO T. Stability of the rarefaction wave for a non⁃isentropic Navier⁃Stokes/Allen⁃Cahn system［J］. Chinese Annals of Mathematics，Series B，2022，43（2）： 233-252.

[12] LUO T， YIN H Y， ZHU C J. Stability of the composite wave for compressible Navier-Stokes/Allen-Cahn system［J］. Mathematical Models and Methods in Applied Sciences，2020，30（2）： 343-385.

[13] CHEN Y K， HUANG B， SHI X D. Sharp interface limit for compressible Navier-Stokes/Allen-Cahn system with shock wave［J］. Communications in Mathematical Sciences， 2023，21（6）： 1487-1503.

[14] VASSEUR A F， YAO L. Nonlinear stability of viscous shock wave to one⁃dimensional compressible isentropic Navier⁃Stokes equations with density dependent viscous coefficient［J］. Communications in Mathematical Sciences，2016，14（8）： 2215-2228.

基金资助

国家自然科学基金(11901025)