# Convergence rates to the damped system of compressible adiabatic flow through porous media with boundary effect

## Abstract

In this paper, we consider convergence rates to solutions for the damped system of compressible adiabatic flow through porous media with boundary effect. Compared with the results obtained by Pan, the better convergence rates are obtained in this paper. Our approach is based on the technical time-weighted energy estimates.

## 1 Introduction

We investigate the following initial boundary problem for damped hyperbolic conservation laws:

\begin{aligned}& \textstyle\begin{cases} v_{t}-u_{x}=0, \quad (x,t) \in {R^{+}}\times {R^{+}}, \\ u_{t}+p(v,s)_{x}=-u, \\ s_{t}=0, \end{cases}\displaystyle \end{aligned}
(1.1)

which describes the motion of the compressible adiabatic flow through porous media. Here u denotes the velocity, v is the specific volume, s stands for the entropy, p is the pressure with $$p_{v}(v,s)<0$$ for $$v>0$$. For simplicity, we take $$p(v,s)=(\gamma -1)v^{-\gamma }e^{s}$$ with $$\gamma >1$$, which is the case for the polytropic gas.

We consider the initial value condition

$$(v,u,s) (x,0)=(v_{0},u_{0},s_{0}) (x)\rightarrow (v_{+},u_{+},s_{+}),\quad v _{+}>0, \mbox{ as } x\rightarrow +\infty ,$$
(1.2)

and the boundary condition

$$v(0,t)=v_{0}(0)=v_{-}>0,$$
(1.3)

or

$$u(0,t)=0.$$
(1.4)

It is known that the damping will create the diffusive phenomena of a hyperbolic wave, that is to say, the hyperbolic wave behaves like diffusive wave when t tends to infinity. Pan [1] has proved that the solutions of these two problems (1.1)â€“(1.4) are captured by their related diffusive problems:

$$\textstyle\begin{cases} \tilde{v}_{t}-\tilde{u}_{x}=0, \quad (x,t) \in {R^{+}}\times {R^{+}}, \\ p(\tilde{v},s)_{x}=-\tilde{u}, \\ s_{t}=0, \\ (\tilde{v},s)(x,0)=(\tilde{v}_{0},s_{0})(x)\rightarrow (v_{+},s_{+}), \quad v_{+}>0, \mbox{ as } x\rightarrow +\infty , \\ \tilde{v}(0,t)=\tilde{v}_{0}(0)=v_{-}; \end{cases}$$
(1.5)

and

$$\textstyle\begin{cases} \tilde{v}_{t}-\tilde{u}_{x}=0, \quad (x,t) \in {R^{+}}\times {R^{+}}, \\ p(\tilde{v},s)_{x}=-\tilde{u}, \\ s_{t}=0, \\ (\tilde{v},s)(x,0)=(\tilde{v}_{0},s_{0})(x)\rightarrow (v_{+},s_{+}), \quad v_{+}>0, \mbox{ as } x\rightarrow +\infty , \\ p(\tilde{v},s)_{x}(0,t)=0. \end{cases}$$
(1.6)

Zheng [2] proved the existence of global smooth solutions to the Cauchy problem (1.1) for small initial value. The asymptotic behavior of these solutions is considered for some specific initial value; see [3â€“5] and [6]. By choosing some particular initial value $$\tilde{v}_{0}(x)$$, Geng and Wang [7] proved that the best asymptotic profile of Eqs.Â (1.1) is a specific solution to the corresponding parabolic equation. Furthermore, the case for the general initial data has been investigated by Pan in [8] and the decay rates have been proved. By the characteristic analysis and the energy estimates, Hsiao and Pan [9] considered the initial boundary value problem for system (1.1). For the case of isentropic case where $$s\equiv \mathrm{constant}$$, Hsiao and Liu [10] first proved that the global smooth solution of the Cauchy problem (1.1) asymptotically converges to that of the corresponding parabolic equation and derived the convergence rate $$\|(v-\tilde{v},u- \tilde{u})(t)\|_{L^{\infty }}=O(t^{-1/2},t^{-1/2})$$. The better convergence rates were obtained in [11â€“13]. For the other related interesting results of isentropic Euler equations, we refer to [14â€“22] and the references therein.

The main purpose of this paper is to use the technical time-weighted estimate and obtain the better convergence rates, which do not have $$(1+\log (1+t))^{\beta _{1}}$$ and $$(1+\log (1+t))^{\beta _{2}}$$ with $$\beta _{1}>\frac{1}{3}$$, $$\beta _{2}>\frac{1}{2}$$, in comparison with the results obtained by Pan in [1].

As in [1], in order to construct the asymptotic profiles for (1.1)â€“(1.3), we introduce the variables

$$a(x)=(\gamma -1)^{-\frac{1}{\gamma }}e^{-\frac{1}{\gamma }s(x)}, \quad \mathrm{and} \quad \omega \equiv a(x)\tilde{v}=p(\tilde{v},s)^{-\frac{1}{ \gamma }},$$
(1.7)

then (1.5) is equivalent to the following problem:

$$\textstyle\begin{cases} \omega _{t}+a(x)(\omega ^{-\gamma })_{xx}=0, \quad (x,t) \in {R^{+}}\times {R^{+}}, \\ \omega (x,0)=\omega _{0}(x)=a(x)\tilde{v}_{0}(x), \\ \omega (0,t)=\omega _{-}, \\ \omega (+\infty ,t)= \omega _{+}>0. \end{cases}$$
(1.8)

The first equation of (1.8) is not invariant in the diffusive rescaling. As in [1], we can still hope that the large-time profiles are invariant in the diffusive rescaling for $$w(x,t)$$. Thus, it is expected that the asymptotic profile of (1.8) can be described by

$$\textstyle\begin{cases} \bar{\omega }_{t}+a_{1}(\bar{\omega }^{-\gamma })_{xx}=0, \quad (x,t) \in {R^{+}}\times {R^{+}}, \\ \bar{\omega }(0,t)=\omega _{-}, \qquad \omega (+\infty ,t)=\omega _{+}, \end{cases}$$
(1.9)

where $$a_{1}=(\gamma -1)e^{-\frac{1}{\gamma }s_{+}}$$. This problem has self-similar solutions wÌ„. Let $$\bar{v}=a^{-1}\bar{w}$$ and $$\bar{u}=-(\bar{w}^{-\gamma })_{x}$$, using the $$L^{1}$$ estimates and energy method, Pan [1] proved the global existence and the asymptotic behavior of solutions for (1.5) by comparing w with wÌ„. Our first main theorem is as follows.

### Theorem 1.1

Let$$\omega _{0}(x)$$and$$s_{0}(x)$$be$$C^{2}$$functions such that$$x(s_{0}(x)-s_{+})\in L^{1}(R^{+})$$and$$w_{0}(x)-\bar{w}(x,0)\in (H ^{2}\cap L^{1})(R^{+})$$. There exists a number$$\delta _{0}>0$$such that, if$$0<\delta \leq \delta _{0}$$and the initial perturbation$$| \omega _{+} -\omega _{-}|+\|\omega _{0}(x)-\bar{\omega } (x,0)\|_{H^{2}} \leq \delta$$, then the global solution$$(\tilde{v},\tilde{u},s)(x,t)$$of problem (1.5) exists and satisfies

$$\omega (x,t)-\bar{\omega }\in C\bigl( [0,t];H^{2} \bigr), \quad \textit{for } t > 0.$$

Moreover, the following convergence rates are true:

$$\bigl\Vert (\tilde{v}-\bar{v}) (\cdot ,t) \bigr\Vert _{L^{\infty }}\leq C(1+t)^{- \frac{1}{2}}, \qquad \bigl\Vert (\tilde{u}- \bar{u}) (\cdot ,t) \bigr\Vert _{L^{\infty }}\leq C(1+t)^{-1}.$$
(1.10)

### Remark 1.1

The existence of the global smooth solution for the problem (1.5) has been established by Pan in [1]. Our main contribution is the new convergence rates in (1.10) obtained. These rates are better than that obtained by Pan in [1].

Now, we introduce the auxiliary functions $$(\hat{u},\hat{v})(x,t)$$ as in [1],

$$\textstyle\begin{cases} \hat{u}(x,t)=[(u_{0}(0)-u_{+})\int _{x}^{+\infty }m_{0}(\xi )\,d\xi +u _{+}]e^{-t}, \\ \hat{v}(x,t)=(u_{0}(0)-u_{+})m_{0}(x)e^{-t}, \end{cases}$$
(1.11)

where $$m_{0}(x)$$ is a smooth and compact supported function such that

$$\int _{0}^{+\infty } m_{0}(x)\,dx=1.$$
(1.12)

Then the function $$(\hat{u},\hat{v})(x,t)$$ satisfies

$$\textstyle\begin{cases} \hat{v}_{t}-\hat{u}_{x}=0, \quad (x,t) \in {R^{+}}\times {R^{+}}, \\ \hat{u}_{t}=- \hat{u}, \\ (\hat{v},\hat{u})(+\infty ,t)=(0,u_{+}e^{-t}), \\ (\hat{u},\hat{v},\hat{u}_{x})(0,t)=(u_{0}(0)e^{-t},0,0). \end{cases}$$
(1.13)

Hence, from (1.1), (1.5) and (1.13), we have

$$\textstyle\begin{cases} (v-\tilde{v}-\hat{v})_{t}-(u-\tilde{u}-\hat{u})_{x}=0, \\ (u-\tilde{u}-\hat{u})_{t}+(p(v,s)-p(\tilde{v},s) )_{x}=p(\tilde{v},s) _{xt}-(u-\tilde{u}-\hat{u}). \end{cases}$$
(1.14)

Define

$$y=- \int _{x}^{+\infty }\bigl[v(\xi ,t)-\tilde{v}(\xi ,t)- \hat{v}(\xi ,t)\bigr]\,d \xi ,$$
(1.15)

which satisfies the following problem:

$$\textstyle\begin{cases} y_{tt}+[p(y_{x}+\tilde{v}+\hat{v},s)-p(\tilde{v},s)]_{x}+ y_{t}=p( \tilde{v},s)_{xt}, \quad (x,t) \in {R^{+}}\times {R^{+}}, \\ y(x,0)= y_{0}(x)=-\int _{x}^{+\infty }[v_{0}(\xi )-\tilde{v}(\xi ,0)- \hat{v}(\xi ,0)]\,d\xi , \\ y_{t}(x,0)=y_{1}(x)=u_{0}(x)-\tilde{u}(x,0)-\hat{u}(x,0), \\ y_{x}(0,t)=0. \end{cases}$$
(1.16)

The main result of this paper is as follows.

### Theorem 1.2

Let$$(y_{0},y_{1}) \in H^{3}(R^{+})\times H^{2}(R^{+})$$. There exists a number$$\delta _{0}>0$$such that, if$$0<\delta <\delta _{0}$$and$$|v_{+}-v_{-}|+\|y_{0}\|_{H^{3}}+\| y_{1}\|_{H^{2}}\leq \delta$$, then the global smooth solutionyfor the problem (1.16) uniquely exists and satisfies

$$\bigl\Vert y(\cdot ,t) \bigr\Vert _{H^{3}}^{2}+ \bigl\Vert y_{t}(\cdot ,t) \bigr\Vert _{H^{2}}^{2}+ \int _{0} ^{t} \bigl\Vert (y_{x},y_{t}) (\cdot ,\tau ) \bigr\Vert _{H^{2}}^{2} \,d\tau \leq C\delta ^{2}$$

and

$$\bigl\Vert y_{x}(\cdot ,t) \bigr\Vert _{L^{\infty }}\leq C(1+t)^{-\frac{3}{4}}, \qquad \bigl\Vert y_{t}(\cdot ,t) \bigr\Vert _{L^{\infty }}\leq C(1+t)^{- \frac{5}{4}}.$$
(1.17)

Furthermore, $$(v,u,s)(x,t)=(\tilde{v}+\hat{v}+y_{x}, \tilde{u}+ \hat{u}+y_{t}, s)$$is the global smooth solution of the problem (1.1)â€“(1.3) which satisfies

$$\bigl\Vert (v-\tilde{v}) (\cdot ,t) \bigr\Vert _{L^{\infty }}\leq C(1+t)^{-\frac{3}{4}}, \qquad \bigl\Vert (u-\tilde{u}) ( \cdot ,t) \bigr\Vert _{L^{\infty }}\leq C(1+t)^{- \frac{5}{4}},$$
(1.18)

and

$$\bigl\Vert (v-\bar{v}) (\cdot ,t) \bigr\Vert _{L^{\infty }}\leq C(1+t)^{-\frac{1}{2}}, \qquad \bigl\Vert (u-\bar{u}) ( \cdot ,t) \bigr\Vert _{L^{\infty }}\leq C(1+t)^{-1}.$$
(1.19)

### Remark 1.2

In [1], the convergence rates are

\begin{aligned} & \bigl\Vert (v-\tilde{v}) (\cdot ,t) \bigr\Vert _{L^{\infty }}\leq C(1+t)^{-\frac{1}{2}}\bigl(1+ \log (1+t)\bigr)^{\beta _{1}}, \\ & \bigl\Vert (u-\tilde{u}) (\cdot ,t) \bigr\Vert _{L^{\infty }}\leq C(1+t)^{-1}\bigl(1+\log (1+t)\bigr)^{ \beta _{2}}, \end{aligned}

where $$\beta _{1}>\frac{1}{3}$$, $$\beta _{2}>\frac{1}{2}$$, but, in Theorem 1.2, we obtain the better convergence results (1.19) which do not have $$(1+\log (1+t))^{\beta _{1}}$$ and $$(1+\log (1+t))^{\beta _{2}}$$.

This paper is organized as follows. In Sect.Â 2, by applying the technical time-weighted energy method, we will prove the new decay rates of the solutions for the hyperbolic problem (1.1)â€“(1.3). In Sect.Â 3, we will employ the same methods used in Sect.Â 2 to the problem (1.1), (1.2) and (1.4).

Notations. Hereafter, the symbol C or $$O(1)$$ will always be used to represent several generic constants which are independent of x and t. $$L^{p}=L^{p}({R^{+}})$$ ($$1\leq p\leq \infty$$) denotes Lebesgue space with its norm

$$\Vert f \Vert _{L^{p}}= \biggl( \int _{0}^{+\infty } \bigl\vert f(x) \bigr\vert ^{p} \ \mathrm{d}x \biggr)^{ \frac{1}{p}}, \quad 1\leq p< \infty , \quad \mbox{and} \quad \Vert f \Vert _{L^{\infty }}=\sup _{R^{+}} \bigl\vert f(x) \bigr\vert .$$

Denote $$H^{m}\ (m\geq 0)$$ by the Sobolev space with the norm

$$\Vert f \Vert _{H^{m}}=\Biggl(\sum_{i=0}^{m} \bigl\Vert \partial _{x}^{i}f \bigr\Vert ^{2}\Biggr)^{\frac{1}{2}}, \quad \Vert \cdot \Vert = \Vert \cdot \Vert _{0}= \Vert \cdot \Vert _{L^{2}}.$$

## 2 Convergence to diffusive problem (1.5)

In this section, we will be concerned with obtaining the better decay rates of the diffusive problem (1.5). Let $$\bar{\omega }( \eta )$$ (with $$\eta =\frac{x}{\sqrt{t+1}}$$) be the similarity solution of (1.9). From the argument in [1], we see that Ï‰Ì„ has the following properties.

### Lemma 2.1

([1])

For$$i\geq 0$$, $$j\geq 0$$and$$i+j\geq 1$$, one has

$$\textstyle\begin{cases} \vert \bar{\omega }(\eta )-\omega _{+} \vert + \vert \bar{\omega }'(\eta ) \vert + \vert \bar{ \omega }''(\eta ) \vert \leq C \vert \omega _{+}-\omega _{-} \vert e^{-C_{2} \eta ^{2}}, \\ \bar{\omega }_{t}=-\frac{1}{2}(1+t)^{-1}\eta \bar{\omega }'(\eta ), \qquad \bar{\omega }_{x}=(1+t)^{-\frac{1}{2}}\bar{\omega }'(\eta ), \\ \Vert \partial _{t}^{i}\partial _{x}^{j}\bar{\omega }(\cdot ,t) \Vert \leq C \vert \omega _{+}-\omega _{-} \vert (1+t)^{-(i+j/2)+1/4}, \\ \Vert \partial _{t}^{i}\partial _{x}^{j}\bar{\omega }(\cdot ,t) \Vert _{L^{ \infty }}\leq C \vert \omega _{+}-\omega _{-} \vert (1+t)^{-(i+j/2)}. \end{cases}$$
(2.1)

Let $$\phi =\omega -\bar{\omega }$$, then, from (1.5) and (1.8), we get the equations for Ï• as follows:

$$\textstyle\begin{cases} \phi _{t}+a(x)(\psi (\bar{\omega })\phi )_{xx}+(a-a_{1})(\bar{\omega } ^{-\gamma })_{xx}+a(x)(g(\phi ,\omega )\phi ^{2})_{xx}=0, \\ \phi (x,0)=\phi _{0}(x)=\omega _{0}-\bar{\omega }(x,0), \\ \phi (0,t)=0, \end{cases}$$
(2.2)

where we have set

$$\psi (\bar{\omega })=-\gamma \bar{\omega }^{-(\gamma +1)}, \quad \mathrm{and} \quad g(\phi ,\omega )\phi ^{2}=(\phi +\bar{\omega })^{-\gamma } - \bar{ \omega }^{-\gamma } - \psi (\bar{\omega })\phi .$$

Let $$F=-\psi (\bar{\omega })\phi$$, then we have the problem for F as

\begin{aligned} \textstyle\begin{cases} F_{t}+a(x)\psi (\bar{\omega })F_{xx}-\psi (\bar{\omega })(a-a_{1})(\bar{ \omega }^{-\gamma })_{xx} \\ \quad {}-\psi _{1}(\bar{\omega })F\bar{\omega }_{t}-a\psi (\bar{ \omega })(fF^{2})_{xx}=0, \quad (x,t) \in {R^{+}}\times {R^{+}}, \\ F(x,0)=F_{0}(x)=-\psi (\bar{\omega }(x,0))\phi _{0}(x), \\ F(0,t)=0, \end{cases}\displaystyle \end{aligned}
(2.3)

where

$$-\psi _{1}(\bar{\omega })F = \psi '(\bar{\omega }) \phi \quad \mathrm{and} \quad fF^{2}=g\phi ^{2}.$$

The main theorem of this section is as follows.

### Theorem 2.1

Let$$F_{0}(x)$$and$$s(x)=s_{0}(x)$$to be smooth functions such that$$x(s(x)-s_{+})\in L^{1}(R^{+})$$, and$$F_{0}\in H^{2}(R^{+}) \cap L ^{1}(R^{+})$$. Then there exist a number$$\varepsilon _{1}> 0$$and$$\delta >0$$such that, if$$|\omega _{+}-\omega _{-} |\leq \delta$$and$$\| F_{0} \|_{H^{2}} \leq \varepsilon _{1}$$, then, for any fixed$$0< \varepsilon _{0}<\frac{1}{2}$$, the global smooth solutionFof the problem (2.3) uniquely exists and satisfies

$$\sum_{k=0}^{2}(1+t)^{k+\frac{1}{2}} \bigl\Vert \partial _{x}^{k}F(\cdot ,t) \bigr\Vert ^{2}\leq C$$
(2.4)

and

$$\sum_{k=1}^{3} \int _{0}^{t}(1+\tau )^{\varepsilon _{0}+k+\frac{1}{2}} \bigl\Vert \partial _{x}^{k}F(\cdot ,\tau ) \bigr\Vert ^{2}\,d\tau \leq C(1+t)^{\varepsilon _{0}}.$$
(2.5)

### Remark 2.1

In Theorem 2.1, we obtain the better convergence rates (2.4) which do not have $$(1+\log (1+t))^{k},k>1$$, in comparison with that obtained by Pan in [1].

The existence of the global solution for the problem (2.3) has been obtained by Pan in [1]. Our interests are to get the better decay rates which will be completed by the following of lemmas.

Pan [1] has obtained the following $$L^{1}$$-estimate which will be used in the proof of Theorem 2.1.

### Lemma 2.2

([1])

Under the assumptions of Theorem2.1, the solutionsÏ•of the problem (2.2) satisfies

$$\bigl\Vert \phi (\cdot ,t) \bigr\Vert _{L^{1}}\leq C _{2}\bigl( \Vert \phi _{0} \Vert _{L^{1}} +\delta \bigr).$$
(2.6)

By virtue of the counterintuitive method by Nishikawa in [23], and using Lemma 2.2, we can obtain the following convergence estimates on F.

### Lemma 2.3

For any fixed$$0<\varepsilon _{0}<\frac{1}{2}$$, the solutionFof the problem (2.3) in Theorem2.1satisfies

\begin{aligned}& (1+t)^{\frac{1}{2}} \bigl\Vert F(\cdot ,t) \bigr\Vert ^{2}+(1+t)^{\frac{3}{2}} \bigl\Vert F_{x}( \cdot ,t) \bigr\Vert ^{2}\leq C, \end{aligned}
(2.7)
\begin{aligned}& \sum_{i=1}^{2} \int _{0}^{t}(1+\tau )^{\frac{1}{2}+i+\varepsilon _{0}} \bigl\Vert \partial _{x}^{i}F(\cdot ,\tau ) \bigr\Vert ^{2}\,d\tau \leq C(1+t)^{\varepsilon _{0}}. \end{aligned}
(2.8)

### Proof

We multiply Eq. (2.3)1 by $$a^{-1}F$$, then we have

\begin{aligned} \frac{1}{2}\frac{d}{dt}\bigl(a^{-1}F \phi \bigr)+F_{x}^{2}={} &{-}\frac{1}{2}a^{-1} \psi _{2}(\bar{\omega })\bar{\omega }_{t}F^{2}-a^{-1}(a-a_{1}) \bigl(\bar{ \omega }^{-\gamma }\bigr)_{xx}F \\ & {} -\bigl(fF^{2}\bigr)_{x}F_{x}+\{ \cdot \cdot \cdot \}_{x}, \end{aligned}
(2.9)

with $$\psi _{2}(\bar{\omega })F^{2} =\phi ^{2}\psi '(\bar{\omega })$$ and $$\{\cdot \cdot \cdot \}_{x}$$ is the term which will vanish after integration with respect to x. Integrating $$(1+t)^{\varepsilon _{0}+ \frac{1}{2}}\times \text{(2.9)}$$ over $$(0,+\infty )\times [0,t]$$, we then have

\begin{aligned} &\frac{1}{2}(1+t)^{\varepsilon _{0}+\frac{1}{2}} \int _{0}^{+\infty }a ^{-1}F\phi \,dx+ \int _{0}^{t} \int _{0}^{+\infty }(1+\tau )^{\varepsilon _{0}+\frac{1}{2}}F_{x}^{2}\,dx\,d \tau \\ &\quad \leq \frac{1}{2} \int _{0}^{+\infty }a^{-1}F_{0} \phi _{0} \,dx+ \biggl\vert \frac{1}{2}\biggl(\varepsilon _{0}+\frac{1}{2}\biggr) \int _{0}^{t} \int _{0}^{+\infty }(1+\tau )^{\varepsilon _{0}-\frac{1}{2}}a^{-1}F \phi \,dx\,d\tau \biggr\vert \\ & \qquad {}+ \biggl\vert \frac{1}{2} \int _{0}^{t} \int _{0}^{+\infty }(1+ \tau )^{\varepsilon _{0}+\frac{1}{2}}a^{-1} \psi _{2}(\bar{\omega })\bar{ \omega }_{t}F^{2}\,dx\,d \tau \biggr\vert \\ & \qquad{} + \biggl\vert \int _{0}^{t} \int _{0}^{+\infty }(1+\tau )^{ \varepsilon _{0}+\frac{1}{2}}a^{-1}(a-a_{1}) \bigl(\bar{\omega }^{-\gamma }\bigr)_{xx}F\,dx\,d \tau \biggr\vert \\ & \qquad{} + \biggl\vert \int _{0}^{t} \int _{0}^{+\infty }(1+\tau )^{ \varepsilon _{0}+\frac{1}{2}} \bigl(fF^{2}\bigr)_{x}F_{x}\,dx\,d\tau \biggr\vert \\ &\quad \equiv \frac{1}{2} \int _{0}^{+\infty }a^{-1}F_{0} \phi _{0}\,dx+\sum_{i=1} ^{4}I_{i}. \end{aligned}
(2.10)

We estimate $$I_{1}$$â€“$$I_{4}$$ as follows:

\begin{aligned} &I_{1}+I_{2}+I_{3} \\ &\quad \leq C \int _{0}^{t} \int _{0}^{+\infty }\bigl[(1+\tau )^{\varepsilon _{0}- \frac{1}{2}}F^{2}+(1+ \tau )^{\varepsilon _{0}+\frac{1}{2}}\bigl( \vert \bar{ \omega }_{t} \vert F^{2}+ \bigl\vert (a-a_{1})\bar{\omega }_{t}F \bigr\vert \bigr)\bigr]\,dx\,d\tau \\ &\quad \leq C \int _{0}^{t}(1+\tau )^{\varepsilon _{0}-\frac{1}{2}}\bigl( \Vert F \Vert _{L ^{\infty }} \Vert F \Vert _{L^{1}}+\delta \bigl\Vert x(s-s_{1}) \bigr\Vert _{L^{1}} \Vert F \Vert _{L^{ \infty }}\bigr)\,d\tau \\ &\quad \leq C(1+\delta ) \int _{0}^{t}(1+\tau )^{\varepsilon _{0}-\frac{1}{2}} \Vert F_{x} \Vert ^{\frac{2}{3}}\,d\tau \\ &\quad \leq \biggl(\frac{1}{4}+C\delta \biggr) \int _{0}^{t}(1+\tau )^{\varepsilon _{0}+ \frac{1}{2}} \Vert F_{x} \Vert ^{2}\,d\tau +C \int _{0}^{t}(1+\tau )^{\varepsilon _{0}-1}\,d\tau \\ &\quad \leq \biggl(\frac{1}{4}+C\delta \biggr) \int _{0}^{t}(1+\tau )^{\varepsilon _{0}+ \frac{1}{2}} \Vert F_{x} \Vert ^{2}\,d\tau +C(1+t)^{\varepsilon _{0}}, \end{aligned}
(2.11)

where in the third inequality, we have used

$$\Vert F \Vert _{L^{\infty }}\leq C \Vert F_{x} \Vert ^{\frac{2}{3}},$$
(2.12)

since

$$\Vert F \Vert _{L^{\infty }}\leq C \Vert F \Vert ^{\frac{1}{2}} \Vert F_{x} \Vert ^{\frac{1}{2}} \leq C \Vert F \Vert _{L^{\infty }}^{\frac{1}{4}} \Vert F \Vert _{L^{1}} ^{\frac{1}{4}} \Vert F _{x} \Vert ^{\frac{1}{2}}.$$
\begin{aligned} I_{4} &= \biggl\vert \int _{0}^{t} \int _{0}^{+\infty }(1+\tau )^{\varepsilon _{0}+ \frac{1}{2}} \bigl(2fFF_{x}+f_{F}F^{2}F_{x}+f_{\bar{\omega }} \bar{\omega } _{x}F^{2} \bigr)F_{x}\,dx\,d\tau \biggr\vert \\ &\leq C\varepsilon _{1} \int _{0}^{t}(1+\tau )^{\varepsilon _{0}+ \frac{1}{2}} \Vert F_{x} \Vert ^{2}\,d\tau + C\varepsilon _{1} \int _{0}^{t}(1+ \tau )^{\varepsilon _{0}+\frac{1}{2}} \Vert F \Vert _{L^{1}} \Vert F \Vert _{L^{\infty }} ^{3}\,d\tau \\ &\leq C\varepsilon _{1} \int _{0}^{t}(1+\tau )^{\varepsilon _{0}+ \frac{1}{2}} \Vert F_{x} \Vert ^{2}\,d\tau . \end{aligned}
(2.13)

By using the smallness of Î´ and $$\varepsilon _{1}$$, we have from (2.10)â€“(2.13)

$$(1+t)^{\varepsilon _{0}+\frac{1}{2}} \bigl\Vert F(\cdot ,t) \bigr\Vert ^{2}+ \int _{0}^{t}(1+ \tau )^{\varepsilon _{0}+\frac{1}{2}} \bigl\Vert F_{x}(\cdot ,\tau ) \bigr\Vert ^{2}d \tau \leq C(1+t)^{\varepsilon _{0}}.$$
(2.14)

For second-order energy estimates, let us multiply (2.3) by $$-F_{xx}$$, it follows that

\begin{aligned} \frac{1}{2} \frac{d}{dt}F_{x}^{2}-a(x)\psi (\bar{\omega })F_{xx}^{2}={} &{-} \psi (\bar{\omega }) (a-a_{1}) \bigl(\bar{\omega }^{-\gamma }\bigr)_{xx}F_{xx} - \psi _{1}(\bar{\omega })\bar{\omega }_{t}FF_{xx} \\ &{}-a(x)\psi (\bar{\omega }) \bigl(fF^{2}\bigr)_{xx}F_{xx}+ \{\cdot \cdot \cdot \} _{x}. \end{aligned}
(2.15)

Integrating $$(1+t)^{\varepsilon _{0}+\frac{3}{2}}\times \text{(2.15)}$$ over $$[0,t]\times (0,+\infty )$$, we have

\begin{aligned} &(1+t)^{\varepsilon _{0}+\frac{3}{2}} \int _{0}^{+\infty }F_{x}^{2}\,dx+ \int _{0}^{t} \int _{0}^{+\infty }(1+\tau )^{\varepsilon _{0}+\frac{3}{2}}F _{xx}^{2}\,dx\,d\tau \\ &\quad \leq C+C \biggl( \int _{0}^{t} \int _{0}^{+\infty }(1+\tau )^{\varepsilon _{0}+\frac{1}{2}}F_{x}^{2}\,dx\,d \tau + \biggl\vert \int _{0}^{t} \int _{0}^{+\infty }(1+\tau )^{\varepsilon _{0}+\frac{3}{2}}F\bar{ \omega }_{t} F_{xx}\,dx\,d \tau \biggr\vert \\ & \qquad {}+ \biggl\vert \int _{0}^{t} \int _{0}^{+\infty }(1+\tau )^{ \varepsilon _{0}+\frac{3}{2}}(a-a_{1}) \bar{\omega }_{t}F_{xx}\,dx\,d\tau \biggr\vert \\ & \qquad{} + \biggl\vert \int _{0}^{t} \int _{0}^{+\infty }(1+\tau )^{ \varepsilon _{0}+\frac{3}{2}} \bigl(fF^{2}\bigr)_{xx}F_{xx}\,dx\,d\tau \biggr\vert \biggr). \end{aligned}
(2.16)

Using Lemma 2.1 and the Cauchyâ€“Schwartz inequality, we have

\begin{aligned} &(1+t)^{\varepsilon _{0}+\frac{3}{2}} \int _{0}^{+\infty }F_{x}^{2}\,dx + \int _{0}^{t} \int _{0}^{+\infty }(1+\tau )^{\varepsilon _{0}+\frac{3}{2}}F _{xx}^{2}\,dx\,d\tau \\ &\quad \leq C +C \biggl( \int _{0}^{t} \int _{0}^{+\infty }(1+\tau )^{\varepsilon _{0}+\frac{3}{2}} \vert F\bar{\omega }_{t} \vert ^{2}\,dx\,d\tau \\ & \qquad{} + \int _{0}^{t} \int _{0}^{+\infty }(1+\tau )^{\varepsilon _{0}+\frac{3}{2}} \bigl\vert (a-a_{1})\bar{\omega }_{t} \bigr\vert ^{2}\,dx\,d\tau \\ & \qquad{} + \int _{0}^{t} \int _{0}^{+\infty }(1+\tau )^{\varepsilon _{0}+\frac{3}{2}} \bigl\vert \bigl(fF^{2}\bigr)_{xx} \bigr\vert ^{2}\,dx\,d\tau \biggr). \end{aligned}
(2.17)

Since

\begin{aligned} & \int _{0}^{t} \int _{0}^{+\infty }(1+\tau )^{\varepsilon _{0}+ \frac{3}{2}} \vert F\bar{\omega }_{t} \vert ^{2}\,dx\,d\tau \\ &\quad \leq C \int _{0}^{t}(1+\tau )^{\varepsilon _{0}+\frac{3}{2}} \Vert F \Vert _{L ^{\infty }} \Vert F \Vert _{L^{1}} \Vert \bar{ \omega }_{t} \Vert _{L^{\infty }}^{2}\,d \tau \\ &\quad \leq C \int _{0}^{t}(1+\tau )^{\varepsilon _{0}-\frac{1}{2}} \Vert F \Vert _{L ^{\infty }}\,d\tau \leq C \int _{0}^{t}(1+\tau )^{\varepsilon _{0}- \frac{1}{2}} \Vert F_{x} \Vert ^{\frac{3}{2}}\,d\tau \\ &\quad \leq C \int _{0}^{t}(1+\tau )^{\varepsilon _{0}+\frac{1}{2}} \Vert F_{x} \Vert ^{2}\,d\tau +C \int _{0}^{t}(1+\tau )^{\varepsilon _{0}-1}\,d\tau \\ &\quad \leq C(1+t)^{\varepsilon _{0}}, \end{aligned}
(2.18)
\begin{aligned} & \int _{0}^{t} \int _{0}^{+\infty }(1+\tau )^{\varepsilon _{0}+ \frac{3}{2}} \bigl\vert (a-a_{1})\bar{\omega }_{t} \bigr\vert ^{2}\,dx\,d\tau \\ &\quad \leq C \int _{0}^{t}(1+\tau )^{\varepsilon _{0}+\frac{3}{2}-3} \bigl\Vert x(a-a _{1}) \bigr\Vert _{L^{1}}^{2}\,d \tau \leq C \int _{0}^{t}(1+\tau )^{\varepsilon _{0}- \frac{3}{2}}\,d\tau \leq C, \end{aligned}
(2.19)

and

\begin{aligned} \bigl(fF^{2} \bigr)_{xx} ={}&\bigl(2fFF_{x}+f_{F}F^{2}F_{x}+f_{\bar{\omega }} \bar{\omega }_{x}F^{2}\bigr)_{x} \\ ={}&\bigl(2fF+f_{F}F^{2}\bigr)F_{xx}+ \bigl(2f+4f_{F}F+f_{FF}F^{2} \bigr)F_{x}^{2} \\ & {} +\bigl(4f_{\bar{\omega }}+2f_{F\bar{\omega }}F^{2} \bigr)F_{x}\bar{ \omega }_{x}+\bigl(f_{\bar{\omega }} \bar{\omega }_{xx}+f_{\bar{\omega }\bar{ \omega }}\bar{\omega }^{2} \bigr)F^{2}, \end{aligned}

it follows that

\begin{aligned} & \int _{0}^{t} \int _{0}^{+\infty }(1+\tau )^{\varepsilon _{0}+ \frac{3}{2}} \bigl\vert \bigl(fF^{2}\bigr)_{xx} \bigr\vert ^{2}\,dx\,d\tau \\ &\quad \leq C \int _{0}^{t} \int _{0}^{+\infty }(1+\tau )^{\varepsilon _{0}+ \frac{3}{2}}\bigl[ \bigl(F^{2}+F^{4}\bigr) \bigl(F_{xx}^{2}+ \bar{\omega }_{x}^{2}F_{x}^{2} \bigr)+F _{x}^{4}+\bigl(\bar{\omega }_{xx}^{2}+ \bar{\omega }_{x}^{4}\bigr)F^{4}\bigr]\,dx\,d \tau \\ &\quad \leq C\varepsilon _{1} \int _{0}^{t}(1+\tau )^{\varepsilon _{0}+ \frac{3}{2}} \Vert F_{xx} \Vert ^{2}\,d\tau + \int _{0}^{t}(1+\tau )^{\varepsilon _{0}+\frac{1}{2}} \Vert F_{x} \Vert ^{2}\,d\tau \\ & \qquad{} + \int _{0}^{t}(1+\tau )^{\varepsilon _{0}+\frac{1}{2}} \Vert F \Vert _{L^{\infty }}^{3} \Vert F \Vert _{L^{1}}\,d \tau + \int _{0}^{t}(1+\tau )^{ \varepsilon _{0}+\frac{3}{2}} \Vert F_{x} \Vert _{L^{4}}^{4}\,d\tau \\ &\quad \leq C+C\varepsilon _{1} \int _{0}^{t}(1+\tau )^{\varepsilon _{0}+ \frac{3}{2}} \Vert F_{xx} \Vert ^{2}\,d\tau + \int _{0}^{t}(1+\tau )^{\varepsilon _{0}+\frac{3}{2}} \Vert F_{xx} \Vert \Vert F_{x} \Vert ^{3}\,d \tau \\ &\quad \leq C+C(\varepsilon _{1}+\varepsilon ) \int _{0}^{t}(1+\tau )^{ \varepsilon _{0}+\frac{3}{2}} \Vert F_{xx} \Vert ^{2}\,d\tau \\ & \qquad{} +C(\varepsilon ) \int _{0}^{t}(1+\tau )^{\varepsilon _{0}+ \frac{3}{2}} \Vert F_{x} \Vert ^{2} \Vert F_{x} \Vert ^{2}\,d\tau . \end{aligned}
(2.20)

By using the smallness of Îµ and $$\varepsilon _{1}$$, we have from (2.16)â€“(2.20)

\begin{aligned} &(1+t)^{\varepsilon _{0}+\frac{3}{2}} \bigl\Vert F_{x}(\cdot ,t) \bigr\Vert ^{2}+ \int _{0} ^{t}(1+\tau )^{\varepsilon _{0}+\frac{3}{2}} \bigl\Vert F_{xx}(\cdot ,\tau ) \bigr\Vert ^{2}\,d\tau \\ &\quad \leq C\biggl[(1+t)^{\varepsilon _{0}}+ \int _{0}^{t}(1+\tau )^{\varepsilon _{0}+\frac{3}{2}} \bigl\Vert F_{x}(\cdot ,\tau ) \bigr\Vert ^{2} \bigl\Vert F_{x}(\cdot ,\tau ) \bigr\Vert ^{2}\,d\tau \biggr]. \end{aligned}

Therefore, using Gronwallâ€™s inequality, we have

$$(1+t)^{\varepsilon _{0}+\frac{3}{2}} \bigl\Vert F_{x}(\cdot ,t) \bigr\Vert ^{2}+ \int _{0} ^{t}(1+\tau )^{\varepsilon _{0}+\frac{3}{2}} \bigl\Vert F_{xx}(\cdot ,\tau ) \bigr\Vert ^{2} \,d\tau \leq C(1+t)^{\varepsilon _{0}}.$$
(2.21)

Hence, (2.14) and (2.21) finish the proof of this lemma.â€ƒâ–¡

From Lemma 2.3, we know that Theorem 2.1 has been proved. Now we show the convergence rates for $$F_{t}$$ and $$F_{xx}$$.

### Lemma 2.4

The solutionFof the problem (2.3) in Theorem2.1satisfies

$$(1+t)^{\varepsilon _{0}+\frac{5}{2}} \bigl\Vert F_{t}(\cdot ,t) \bigr\Vert ^{2}+ \int _{0} ^{t}(1+\tau )^{\varepsilon _{0}+\frac{5}{2}} \bigl\Vert F_{xt}(\cdot ,\tau ) \bigr\Vert ^{2} \,d\tau \leq C(1+t)^{\varepsilon _{0}}.$$
(2.22)

### Proof

Let us differentiate on (2.3) in t and multiply the result equation by $$a^{-1}F_{t}$$, then, it follows that

\begin{aligned} &\frac{1}{2}\, \frac{d}{dt}\bigl(a^{-1}F_{t}^{2} \bigr)-\psi (\bar{\omega })F_{xt} ^{2}+\psi (\bar{\omega })_{xx}F_{t}^{2}+\psi '( \bar{\omega })\bar{ \omega }_{t}F_{xx}F_{t} \\ &\quad {}-a^{-1}\bigl(\psi (\bar{\omega }) (a-a_{1}) \bigl( \bar{\omega }^{-\gamma }\bigr)_{xx}\bigr)_{t}F _{t}-a^{-1}\bigl(\psi _{1}(\bar{\omega })F \bar{\omega }_{t}\bigr)_{t}F_{t} \\ &\quad {}-\bigl(\psi (\bar{\omega }) \bigl(fF^{2}\bigr)_{xx} \bigr)_{t}F_{t}+\{\cdot \cdot \cdot \}_{x}=0. \end{aligned}
(2.23)

Integrating $$(1+t)^{\varepsilon _{0}+\frac{5}{2}}\times \text{(2.23)}$$ over $$[0,t]\times (-\infty ,+\infty )$$, we have

\begin{aligned} &\frac{1}{2}(1+t)^{\varepsilon _{0}+\frac{5}{2}} \int _{0}^{+\infty }a ^{-1}F_{t}^{2}\,dx- \int _{0}^{t} \int _{0}^{+\infty }(1+\tau )^{\varepsilon _{0}+\frac{5}{2}}\psi ( \bar{\omega }) F_{xt}^{2}\,dx\,d\tau \\ &\quad =\frac{1}{2} \int _{0}^{+\infty }a^{-1}F_{1}^{2}\,dx+ \frac{1}{2}\biggl( \varepsilon _{0}+\frac{5}{2} \biggr) \int _{0}^{t} \int _{0}^{+\infty }(1+\tau )^{ \varepsilon _{0}+\frac{3}{2}}a^{-1}F_{t}^{2}\,dx\,d \tau \\ & \qquad{} -\frac{1}{2} \int _{0}^{t} \int _{0}^{+\infty }(1+\tau )^{ \varepsilon _{0}+\frac{5}{2}}\psi ( \bar{\omega })_{xx}F_{t}^{2}\,dx\,d \tau \\ & \qquad{} - \int _{0}^{t} \int _{0}^{+\infty }(1+\tau )^{\varepsilon _{0}+\frac{5}{2}}\psi '(\bar{\omega })\bar{\omega }_{t}F_{xx}F_{t}\,dx\,d \tau \\ & \qquad {}+ \int _{0}^{t} \int _{0}^{+\infty }(1+\tau )^{\varepsilon _{0}+\frac{5}{2}}a^{-1} \bigl(\psi (\bar{\omega }) (a-a_{1}) \bigl(\bar{\omega } ^{-\gamma }\bigr)_{xx}\bigr)_{t}F_{t}\,dx\,d \tau \\ & \qquad{} + \int _{0}^{t} \int _{0}^{+\infty }(1+\tau )^{\varepsilon _{0}+\frac{5}{2}}a^{-1} \bigl(\psi _{1}(\bar{\omega })F\bar{\omega }_{t} \bigr)_{t}F _{t}\,dx\,d\tau \\ & \qquad{} + \int _{0}^{t} \int _{0}^{+\infty }(1+\tau )^{\varepsilon _{0}+\frac{5}{2}}\bigl( \psi (\bar{\omega }) \bigl(fF^{2}\bigr)_{xx} \bigr)_{t}F_{t}\,dx\,d \tau . \end{aligned}
(2.24)

From the derivation of Lemma 2.3 and (2.3)1, we have

\begin{aligned} & \int _{0}^{t}(1+\tau )^{\varepsilon _{0}+\frac{3}{2}} \bigl\Vert F_{t}(\cdot , \tau ) \bigr\Vert ^{2}\,d\tau \\ &\quad \leq C \biggl( \int _{0}^{t}(1+\tau )^{\varepsilon _{0}+\frac{3}{2}} \bigl\Vert F _{xx}(\cdot ,\tau ) \bigr\Vert ^{2}\,d\tau + \int _{0}^{t} \int _{0}^{+\infty }(1+ \tau )^{\varepsilon _{0}+\frac{3}{2}}(a-a_{1})^{2} \bar{\omega }_{t} ^{2}\,dx\,d\tau \\ & \qquad{} + \int _{0}^{t} \int _{0}^{+\infty }(1+\tau )^{\varepsilon _{0}+\frac{3}{2}}F^{2} \bar{\omega }_{t}^{2}\,dx\,d\tau + \int _{0}^{t} \int _{0}^{+\infty }(1+\tau )^{\varepsilon _{0}+\frac{3}{2}} \bigl(fF^{2}\bigr)_{xx} ^{2}\,dx\,d\tau \biggr) \\ &\quad \leq C. \end{aligned}
(2.25)

Moreover one has

\begin{aligned}& a^{-1}\bigl(\psi _{1}(\bar{\omega })F\bar{\omega }_{t}\bigr)_{t}F_{t}=O(1)\bigl[\bar{ \omega }_{t}F_{t}^{2}+\bigl(\bar{\omega }_{t}^{2}+\bar{\omega }_{tt}\bigr)FF _{t}\bigr], \\& a^{-1}\bigl(\psi (\bar{\omega }) (a-a_{1}) \bigl(\bar{ \omega }^{-\gamma }\bigr)_{xx}\bigr)_{t}F _{t}= O(1) (a-a_{1}) \bigl(\bar{\omega }_{t}^{2}+\bar{\omega }_{tt} \bigr)F_{t}, \\& \bigl(\psi (\bar{\omega }) \bigl(fF^{2}\bigr)_{xx} \bigr)_{t}F_{t}=O(1)\bar{\omega }_{t} \bigl(fF ^{2}\bigr)_{xx}F_{t}-\psi (\bar{ \omega }) \bigl(fF^{2}\bigr)_{xxt}F_{t}. \end{aligned}

Now, we can employ the similar argument as used in deducing (2.14) to conclude

$$(1+t)^{\varepsilon _{0}+\frac{5}{2}} \bigl\Vert F_{t}(\cdot ,t) \bigr\Vert ^{2}+ \int _{0} ^{t}(1+\tau )^{\varepsilon _{0}+\frac{3}{2}} \bigl\Vert F_{xt}(\cdot ,\tau ) \bigr\Vert ^{2} \,d\tau \leq C(1+t)^{\varepsilon _{0}},$$
(2.26)

which finishes the proof.â€ƒâ–¡

### Corollary 2.1

The solutionFof the problem (2.3) satisfies

$$(1+t)^{\frac{5}{2}} \bigl\Vert F_{xx}(\cdot ,t) \bigr\Vert ^{2}\leq C, \qquad \bigl\Vert F_{x}( \cdot ,t) \bigr\Vert _{L^{\infty }}\leq C(1+t)^{-1}.$$
(2.27)

### Proof

From (2.3), we have

$$F_{xx}=O(1)\bigl[F_{t}+(a-a_{1}) \bar{\omega }_{t}+F_{x}^{2}+F_{t} \bar{ \omega }_{t}+FF_{x}\bar{\omega }_{x}+ \bigl(\bar{\omega }_{xx}+\bar{\omega }_{x}^{2} \bigr)F^{2}\bigr].$$
(2.28)

By taking $$L^{2}$$ norm in (2.28), one has

\begin{aligned} (1+t)^{\frac{5}{2}} \Vert F_{xx} \Vert ^{2}\leq{}& C(1+t)^{\frac{5}{2}}\bigl( \Vert F_{t} \Vert ^{2}+ \bigl\Vert F_{x}^{2} \bigr\Vert ^{2}+ \bigl\Vert (a-a_{1})\bar{\omega }_{t} \bigr\Vert ^{2}+ \Vert F\bar{ \omega }_{t} \Vert ^{2} \\ & {}+ \Vert FF_{x}\bar{\omega }_{x} \Vert ^{2}+ \bigl\Vert \bigl(\bar{\omega }_{xx}+\bar{ \omega }_{x}^{2}\bigr)F^{2} \bigr\Vert ^{2}\bigr) \\ \leq{}& C+C(1+t)^{\frac{5}{2}} \bigl\Vert F_{x}^{2} \bigr\Vert ^{2} \\ \leq{}& C+C(1+t)^{\frac{5}{2}} \Vert F_{x} \Vert ^{2}\bigl( \Vert F_{x} \Vert ^{2}+ \Vert F_{xx} \Vert ^{2}\bigr) \\ \leq{}& C + C(1+t)^{\frac{5}{2}} \Vert F_{x} \Vert ^{2} \Vert F_{xx} \Vert ^{2}, \end{aligned}
(2.29)

which implies

$$(1+t)^{\frac{5}{2}} \Vert F_{xx} \Vert ^{2} \leq C .$$

Then

$$\Vert F_{x} \Vert _{L^{\infty }}\leq C \Vert F_{x} \Vert ^{\frac{1}{2}} \Vert F_{xx} \Vert ^{ \frac{1}{2}} (1+t)^{-1} .$$

This ends the proof of Corollary 2.1.â€ƒâ–¡

Setting $$\tilde{v}=a^{-1}(x)\omega$$, $$\tilde{u}=-(\omega ^{-\gamma })_{x}$$, by using (2.12) and the interpolation inequality, we have the convergence estimate (1.10). Theorem 1.1 then follows from Theorem 2.1.

## 3 Convergence rates to the stationary solution

In this section, we will employ the same technique as that used in Sect.Â 2 to treat the problem (1.1), (1.2) and (1.4).

Similar to (1.8) in Sect.Â 2, by using the variables Ï‰ and $$a(x)$$, the problem (1.6) can be reformulated as

$$\textstyle\begin{cases} \omega _{t}+a(x)(\omega ^{-\gamma })_{xx}=0, \quad (x,t) \in {R^{+}}\times {R^{+}}, \\ \omega (x,0)=\omega _{0}(x)\rightarrow \omega _{+}, \quad \mbox{as } x\rightarrow +\infty , \\ \omega _{x}(0,t)=0. \end{cases}$$
(3.1)

Setting $$\phi =\omega -\omega _{+}$$, we get

$$\textstyle\begin{cases} \phi _{t}+a(x)\phi _{xx}+a(x)(f_{1}(\phi )\phi ^{2})_{xx}=0, \quad (x,t) \in {R^{+}}\times {R^{+}}, \\ \phi (x,0)=\phi _{0}(x)=\omega _{0}(x)-\omega _{+}, \\ \phi _{x}(0,t)=0, \end{cases}$$
(3.2)

where $$f_{1}(\phi )\phi ^{2}=(\omega _{+}+\phi )^{-\gamma }-\omega _{+} ^{-\gamma }-b\phi$$ and $$b=\gamma \omega _{+}^{-\gamma -1}$$. Note that if $$\phi _{0}(x)\in L^{1}$$, then by using the same arguments as that in Lemma 2.2, we have

$$\bigl\Vert \phi (\cdot , t) \bigr\Vert _{L^{1}}\leq C \Vert \phi _{0} \Vert _{L^{1}}.$$
(3.3)

By using the same method as that in Sect.Â 2, we can obtain the following result.

### Theorem 3.1

Let$$\phi _{0}(x)$$and$$s_{0}(x)$$to be smooth functions such that$$\phi _{0}\in (H^{2}\cap L^{1})(R^{+})$$. There exists a number$$\delta _{0}>0$$such that, if$$0<\delta \leq \delta _{0}$$and$$\|\phi _{0}\|_{H^{2}} \leq \delta$$, then the global smooth solution$$\phi (x,t)$$of (3.2) uniquely exists and satisfies

$$\sum_{i=0}^{2}(1+t)^{i+\frac{1}{2}} \bigl\Vert \partial _{x}^{i}\phi (\cdot , \tau ) \bigr\Vert ^{2}+\sum_{i=1}^{3} \int _{0}^{t}(1+\tau )^{i-\frac{1}{2}} \bigl\Vert \partial _{x}^{i}\phi (\cdot ,\tau ) \bigr\Vert ^{2} \,d\tau \leq C.$$

By defining$$v_{1}=a^{-1}\omega (x,t)=a^{-1}(\omega _{+}+\phi (x,t))$$, $$u _{1}(x,t)=-p(v_{1},s)_{x}$$, and$$v_{\ast }=a^{-1}\omega _{+}$$, then, $$(v_{1},u_{1},s)$$is the global solution for problem (1.6) which satisfies

$$\bigl\Vert (v_{1}-v_{\ast }) (\cdot ,t) \bigr\Vert _{L^{\infty }}\leq C(1+t)^{- \frac{1}{2}}, \qquad \bigl\Vert u_{1}(\cdot ,t) \bigr\Vert _{L^{\infty }}\leq C(1+t)^{-1}.$$
(3.4)

### Remark 3.1

The new convergence rates in (3.4) obtained are better than that obtained inÂ [1].

Defining the following auxiliary functions $$(\hat{u}_{1},\hat{v}_{1})$$:

$$(\hat{u}_{1},\hat{v}_{1}) (x,t)= \biggl(u_{+}e^{-t} \int _{0}^{x}m_{0}( \xi )\,d\xi , u_{+}m_{0}(x)e^{-t} \biggr),$$
(3.5)

where the smooth function $$m_{0}(x)$$ is the same as in (1.12). Setting $$\tilde{y}=-\int _{x}^{+\infty }(v-v_{1}- \hat{v}_{1})(\xi ,t)\,d\xi$$, we then have

$$\textstyle\begin{cases} \tilde{y}_{tt}+[p(\tilde{y}_{x}+v_{1}+\hat{v}_{1},s)-p(v_{1},s)]_{x}+ \tilde{y}_{t}=p(v_{1},s)_{xt}, \quad (x,t) \in {R^{+}}\times {R^{+}}, \\ \tilde{y}(x,0)= \tilde{y}_{0}(x)=-\int _{x}^{+\infty }[v_{0}(\xi )-v _{1}(\xi ,0)-\hat{v}_{1}(\xi ,0)]\,d\xi , \\ \tilde{y}_{t}(x,0)=\tilde{y}_{1}(x)=u_{0}(x)-u_{1}(x,0)-\hat{u}_{1}(x,0), \\ \tilde{y}(0,t)=0. \end{cases}$$
(3.6)

Thus, we can also obtain the following result.

### Theorem 3.2

There exists a number$$\delta _{0}>0$$such that, if$$0<\delta \leq \delta _{0}$$and$$\|\tilde{y}_{0}\|_{H^{3}}+\| \tilde{y}_{1}\|_{H^{2}} \leq \delta ^{2}$$, then the global smooth solution$$(v,u,s)(x,t)$$of the problem (1.1), (1.2) and (1.4) uniquely exists and satisfies

$$\bigl\Vert (v-v_{1}) (\cdot ,t) \bigr\Vert _{L^{\infty }}\leq C(1+t)^{-\frac{3}{4}}, \qquad \bigl\Vert (u-u_{1}) (\cdot ,t) \bigr\Vert _{L^{\infty }}\leq C(1+t)^{- \frac{5}{4}},$$
(3.7)

and

$$\bigl\Vert (v-\bar{v}) (\cdot ,t) \bigr\Vert _{L^{\infty }}\leq C(1+t)^{-\frac{1}{2}}, \qquad \bigl\Vert u(\cdot ,t) \bigr\Vert _{L^{\infty }}\leq C(1+t)^{-1}.$$
(3.8)

### Remark 3.2

In [1], the convergence rates are

\begin{aligned} & \bigl\Vert (v-v_{1}) (\cdot ,t) \bigr\Vert _{L^{\infty }} \leq C(1+t)^{-\frac{1}{2}}\bigl(1+ \log (1+t)\bigr)^{\beta _{1}}, \\ & \bigl\Vert u(\cdot ,t) \bigr\Vert _{L^{\infty }}\leq C(1+t)^{-1}\bigl(1+\log (1+t)\bigr)^{\beta _{2}}, \end{aligned}

where $$\beta _{1}>\frac{1}{3}$$, $$\beta _{2}>\frac{1}{2}$$, but, in Theorem 3.2, we obtain the better result (3.8) which does not have $$(1+\log (1+t))^{\beta _{1}}$$ and $$(1+\log (1+t))^{\beta _{2}}$$.

## References

1. Pan, R.: Boundary effects and large time behavior for the system of compressible adiabatic flow through porous media. Mich. Math. J. 49, 519â€“540 (2001)

2. Zheng, Y.: Global smooth solution to the adiabatic gas dynamics system with dissipation terms. Chin. Ann. Math. 17A, 155â€“162 (1996)

3. Hsiao, L., Luo, T.: Nonlinear diffusive phenomena of solutions for the system of compressible adiabatic flow through porous media. J.Â Differ. Equ. 125, 329â€“365 (1996)

4. Hsiao, L., Serre, D.: Large-time behavior of solutions for the system of compressible adiabatic flow through porous media. Chin. Ann. Math., Ser. B 16, 431â€“444 (1995)

5. Marcati, P., Pan, R.: On the diffusive profiles for the system of compressible adiabatic flow through porous media. SIAM J. Math. Anal. 33, 790â€“826 (2001)

6. Nishihara, K., Nishikawa, M.: Asymptotic behavior of solutions to the system of compressible adiabatic flow through porous media. SIAM J. Math. Anal. 33, 216â€“239 (2001)

7. Geng, S., Wang, Z.: Convergence rates to nonlinear diffusion waves for solutions to the system of compressible adiabatic flow through porous media. Commun. Partial Differ. Equ. 36, 850â€“872 (2011)

8. Pan, R.: Darcyâ€™s law as long-time limit of adiabatic porous media flow. J.Â Differ. Equ. 220, 121â€“146 (2006)

9. Hsiao, L., Pan, R.: Initial boundary value problem for the system of compressible adiabatic flow through porous media. J.Â Differ. Equ. 159, 280â€“305 (1999)

10. Hsiao, L., Liu, T.-P.: Convergence to nonlinear diffusion waves for solutions of a system of hyperbolic conservation laws with damping. Commun. Math. Phys. 143, 599â€“605 (1992)

11. Mei, M.: Best asymptotic profile for hyperbolic p-system with damping. SIAM J. Math. Anal. 42, 1â€“23 (2010)

12. Nishihara, K.: Convergence rates to nonlinear diffusion waves for solutions of system of hyperbolic conservation laws with damping. J.Â Differ. Equ. 131, 171â€“188 (1996)

13. Nishihara, K., Wang, W., Yang, T.: $$L^{p}$$-convergence rate to nonlinear diffusion waves for p-system with damping. J.Â Differ. Equ. 161, 191â€“218 (2000)

14. Hsiao, L., Liu, T.-P.: Nonlinear diffusion phenomena of nonlinear hyperbolic system. Chin. Ann. Math., Ser. B 14, 465â€“480 (1993)

15. Huang, F.-M., Mei, M., Wang, Y.: Large time behavior of solutions to n-dimensional bipolar hydrodynamic models for semiconductors. SIAM J. Math. Anal. 43, 1595â€“1630 (2011)

16. Huang, F.-M., Mei, M., Wang, Y., Yang, T.: Long-time behavior of solutions for bipolar hydrodynamic model of semiconductors with boundary effects. SIAM J. Math. Anal. 44, 1134â€“1164 (2012)

17. Ma, H., Mei, M.: Best asymptotic profile for linear damped p-system with boundary effect. J.Â Differ. Equ. 249, 446â€“484 (2010)

18. Marcati, P., Mei, M., Rubino, B.: Optimal convergence rates to diffusion waves for solutions of the hyperbolic conservation laws with damping. J.Â Math. Fluid Mech. 7, S224â€“S240 (2005)

19. Wang, Y., Wang, K.: Asymptotic behavior of classical solutions to the compressible Navierâ€“Stokesâ€“Poisson equations in three and higher dimensions. J.Â Differ. Equ. 259, 25â€“47 (2015)

20. Xiao, Q., Zhao, H.: Nonlinear stability of planar stationary waves for generalized Benjaminâ€“Bonaâ€“Mahonyâ€“Burgers equations in the half-plane. J.Â Hyperbolic Differ. Equ. 10, 283â€“333 (2013)

21. Zhao, H.: Convergence to strong nonlinear diffusion waves for solutions of p-system with damping. J.Â Differ. Equ. 174, 200â€“236 (2001)

22. Zhu, C.: Convergence rates to nonlinear diffusion waves for weak solutions to p-system with damping. Sci. China Ser. A 46, 562â€“575 (2003)

23. Nishikawa, M.: Convergence rate to the traveling wave for viscous conservation laws. Funkc. Ekvacioj 41, 107â€“132 (1998)

Not applicable.

Not applicable.

## Funding

The research of L.-N. Zhang was supported by in part by the National Natural Science Foundation of China (No. 11701489), Natural Science Foundation of Hunan Province of China (No. 2018JJ3481). The research of S.-F. Geng was supported in part by Natural Science Foundation of Hunan Province of China (No. 2018JJ2373), Excellent Youth Project of Hunan Education Department (No. 18B054).

## Author information

Authors

### Contributions

All the authors contributed to each part of this study equally and approved the final version of the manuscript.

### Corresponding author

Correspondence to Shifeng Geng.

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

Not applicable.

### Publisherâ€™s Note

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

## Rights and permissions

Reprints and permissions

Zhang, L., Geng, S. & Gao, Y. Convergence rates to the damped system of compressible adiabatic flow through porous media with boundary effect. Bound Value Probl 2019, 190 (2019). https://doi.org/10.1186/s13661-019-01304-4