We consider an initial and boundary value problem for a nonlinear hyperbolic system with damping and diffusion. This system was derived from the Rayleigh–Benard equation. Based on a new observation of the structure of the system, two identities are found; then, the following results are proved by using the energy method. First, the well-posedness of the global large solution is established; then, the limit with a boundary layer as some diffusion coefficient tending to zero is justified. In addition, the L2 convergence rate in terms of the diffusion coefficient is obtained together with the estimation of the thickness of the boundary layer.
Citation: Xu Zhao, Wenshu Zhou. Vanishing diffusion limit and boundary layers for a nonlinear hyperbolic system with damping and diffusion[J]. Electronic Research Archive, 2023, 31(10): 6505-6524. doi: 10.3934/era.2023329
[1] | Meng Zhao . The longtime behavior of the model with nonlocal diffusion and free boundaries in online social networks. Electronic Research Archive, 2020, 28(3): 1143-1160. doi: 10.3934/era.2020063 |
[2] | Wei-Xi Li, Rui Xu . Well-posedness in Sobolev spaces of the two-dimensional MHD boundary layer equations without viscosity. Electronic Research Archive, 2021, 29(6): 4243-4255. doi: 10.3934/era.2021082 |
[3] | Shan Jiang, Li Liang, Meiling Sun, Fang Su . Uniform high-order convergence of multiscale finite element computation on a graded recursion for singular perturbation. Electronic Research Archive, 2020, 28(2): 935-949. doi: 10.3934/era.2020049 |
[4] | Ting-Ying Chang, Yihong Du . Long-time dynamics of an epidemic model with nonlocal diffusion and free boundaries. Electronic Research Archive, 2022, 30(1): 289-313. doi: 10.3934/era.2022016 |
[5] | Long Fan, Cheng-Jie Liu, Lizhi Ruan . Local well-posedness of solutions to the boundary layer equations for compressible two-fluid flow. Electronic Research Archive, 2021, 29(6): 4009-4050. doi: 10.3934/era.2021070 |
[6] | Yaojun Ye, Qianqian Zhu . Existence and nonexistence of global solutions for logarithmic hyperbolic equation. Electronic Research Archive, 2022, 30(3): 1035-1051. doi: 10.3934/era.2022054 |
[7] | Xiaolei Dong . Well-posedness of the MHD boundary layer equations with small initial data in Sobolev space. Electronic Research Archive, 2024, 32(12): 6618-6640. doi: 10.3934/era.2024309 |
[8] | Yijun Chen, Yaning Xie . A kernel-free boundary integral method for reaction-diffusion equations. Electronic Research Archive, 2025, 33(2): 556-581. doi: 10.3934/era.2025026 |
[9] | Léo Girardin, Danielle Hilhorst . Spatial segregation limit of traveling wave solutions for a fully nonlinear strongly coupled competitive system. Electronic Research Archive, 2022, 30(5): 1748-1773. doi: 10.3934/era.2022088 |
[10] | Cunbin An . Global bifurcation and structure of stationary patterns of a diffusive system of plant-herbivore interactions with toxin-determined functional responses. Electronic Research Archive, 2023, 31(4): 2095-2107. doi: 10.3934/era.2023107 |
We consider an initial and boundary value problem for a nonlinear hyperbolic system with damping and diffusion. This system was derived from the Rayleigh–Benard equation. Based on a new observation of the structure of the system, two identities are found; then, the following results are proved by using the energy method. First, the well-posedness of the global large solution is established; then, the limit with a boundary layer as some diffusion coefficient tending to zero is justified. In addition, the L2 convergence rate in terms of the diffusion coefficient is obtained together with the estimation of the thickness of the boundary layer.
We consider the following nonlinear parabolic system with damping and diffusion:
{ψt=−(σ−α)ψ−σθx+αψxx,θt=−(1−β)θ+νψx+2ψθx+βθxx,(x,t)∈QT, | (1.1) |
with the following initial and boundary conditions:
{(ψ,θ)(x,0)=(ψ0,θ0)(x),0≤x≤1,ψ(1,t)=ψ(0,t)=ξ(t),(θ,θx)(1,t)=(θ,θx)(0,t),0≤t≤T. | (1.2) |
Here σ,α,β and ν are constants with α>0, β>0, T>0, and QT=(0,1)×(0,T). The function ξ(t) is measurable in (0,T). System (1.1) was originally proposed by Hsieh in [1] as a substitution for the Rayleigh–Benard equation for the purpose of studying chaos, and we refer the reader to [1,2,3] for the physical background. It is worthy to point out that with a truncation similar to the mode truncation from the Rayleigh–Benard equations used by Lorenz in [4], system (1.1) also leads to the Lorenz system. In spite of it being a much simpler system, it is still as rich as the Lorenz system, and some different routes to chaos, including the break of the time-periodic solution and the break of the switching solution, have been discovered via numerical simulations [5].
Neglecting the damping and diffusion terms, system (1.1) is simplified as
(ψθ)t=(0−σν2ψ)(ψθ)x. |
It has two characteristic values: λ1=ψ+√ψ2−σν and λ2=ψ−√ψ2−σν. Obviously, the system is elliptic if ψ2−σν<0, and it is hyperbolic if ψ2−σν>0. In particular, it is always strictly hyperbolic if σν<0.
The mathematical theory of system (1.1) has been extensively investigated in a great number of papers; see [6,7,8,9,10,11,12,13,14,15,16] and the references therein. However, there is currently no global result with large initial data because it is very difficult to treat the nonlinear term of system (1.1) in analysis. Motivated by this fact, we will first study the well-posedness of global large solutions of the problem given by (1.1) and (1.2) for the case in which σν<0, and then we will discuss the limit problem as α→0+, as well as the problem on the estimation of the boundary layer thickness. For the case in which σν>0, we leave the investigation in the future.
The problem of a vanishing viscosity limit is an interesting and challenging problem in many settings, such as in the boundary layer theory (cf.[17]). Indeed, the presence of a boundary layer that accompanies the vanishing viscosity has been fundamental in fluid dynamics since the seminal work by Prandtl in 1904. In this direction, there have been extensive studies with a large number of references that we will not mention here. As important work on the mathematical basis for the laminar boundary layer theory, which is related to the problem considered in this paper, Frid and Shelukhin [18] studied the boundary layer effect of the compressible or incompressible Navier–Stokes equations with cylindrical symmetry and constant coefficients as the shear viscosity μ goes to zero; they proved the existence of a boundary layer of thickness O(μq) with any q∈(0,1/2). It should be pointed out that, for the incompressible case, the equations are reduced to
vt=μ(vx+vx)x,wt=μ(wxx+wxx),0<a<x<b,t>0, | (1.3) |
where μ is the shear viscosity coefficient and v and w represent the angular velocity and axial velocity, respectively. Recently, this result was investigated in more general settings; see for instance, [19,20,21] and the references therein. In the present paper, we will prove a similar result to that obtained in [18]. Note that every equation in (1.3) is linear. However, equation (1.1)2, with a nonconservative term 2ψθx, is nonlinear. It is the term that leads to new difficulties in analysis, causing all previous results on system (1.1) to be limited to small-sized initial data.
The boundary layer problem also arises in the theory of hyperbolic systems when parabolic equations with low viscosity are applied as perturbations (see [22,23,24,25,26,27,28]).
Formally, setting α=0, we obtain the following system:
{¯ψt=−σ¯ψ−σ¯θx,¯θt=−(1−β)¯θ+ν¯ψx+2¯ψ¯θx+β¯θxx,(x,t)∈QT, | (1.4) |
with the following initial and boundary conditions:
{(¯ψ,¯θ)(x,0)=(ψ0,θ0)(x),0≤x≤1,(¯θ,¯θx)(1,t)=(¯θ,¯θx)(0,t),0≤t≤T. | (1.5) |
Before stating our main result, we first list some notations.
Notations: For 1≤p,s≤∞, k∈N, and Ω=(0,1), we denote by Lp=Lp(Ω) the usual Lebesgue space on Ω with the norm ‖⋅‖Lp, and Hk=Wk,2(Ω) and H10=W1,20(Ω) as the usual Sobolev spaces on Ω with the norms ‖⋅‖Hk and ‖⋅‖H1, respectively. Ck(Ω) is the space consisting of all continuous derivatives up to order k on Ω, C(¯QT) is the set of all continuous functions on ¯QT, where QT=(0,1)×(0,T) with T>0, and Lp(0,T;B) is the space of all measurable functions from (0,T) to B with the norm ‖⋅‖Lp(0,T;B), where B=Ls or Hk. We also use the notations ‖(f1,f2,⋯)‖2B=‖f‖2B+‖g‖2B+⋯ for functions f1,f2,⋯ belonging to the function space B equipped with a norm ‖⋅‖B, and for L2(QT)=L2(0,T;L2).
The first result of this paper can be stated as follows.
Theorem 1.1. Let α,β,σ and ν be constants with α>0,β∈(0,1) and σν<0. Assume that (ψ0,θ0)∈H1([0,1]) and ξ∈C1([0,T]), and that they are compatible with the boundary conditions. Then, the following holds:
(i) For any given α>0, there exists a unique global solution (ψ,θ) for the problem given by (1.1) and (1.2) in the following sense:
(ψ,θ)∈C(¯QT)∩L∞(0,T;H1),(ψt,θt,ψxx,θxx)∈L2(QT). |
Moreover, for some constant C>0 independent of α∈(0,α0] with α0>0,
{‖(ψ,θ)‖L∞(QT)≤C,‖(√|ψx|,α1/4ψx,ω1/2ψx,θx)‖L∞(0,T;L2)≤C,‖(ψt,θt,α3/4ψxx,α1/4θxx,ω1/2θxx)‖L2(QT)≤C, | (1.6) |
where the function ω(x):[0,1]→[0,1] is defined by
ω(x)={x,0≤x<1/2,1−x,1/2≤x≤1. | (1.7) |
(ii) There exists a unique global solution (¯ψ,¯θ) for the problem given by (1.4) and (1.5) in the following sense:
{¯ψ∈L∞(QT)∩BV(QT),(¯ψx,ω¯ψ2x)∈L∞(0,T;L1),¯ψt∈L2(QT),¯θ∈C(¯QT)∩L∞(0,T;H1),¯θt∈L2(QT),¯θ(1,t)=¯θ(0,t),∀t∈[0,T], | (1.8) |
and
{∬Qt(¯ψζt−σ¯ψζ−ν¯θxζ)dxdτ=∫10ψ(x,t)ζ(x,t)dx−∫10ψ0(x)ζ(x,0)dx,∬QtL[¯ψ,¯θ;φ]dxdτ=∫10¯θ(x,t)φ(x,t)dx−∫10θ0(x)φ(x,0)dx,a.e.t∈(0,T),whereL[¯ψ,¯θ;φ]=¯θφt−(1−β)¯θφ−ν¯ψφx+2¯ψ¯θxφ−β¯θxφx | (1.9) |
for any functions ζ,φ∈C1(¯QT) with φ(1,t)=φ(0,t) for all t∈[0,T] such that, as α→0+,
{ψ→¯ψstronglyinLp(QT)foranyp≥2,ψ→¯ψweaklyinM(QT),ψt⇀¯ψtweaklyinL2(QT),αψ2x→0stronglyinL2(QT), | (1.10) |
where M(QT) is the set of the Radon measures on QT, and
{θ→¯θstronglyinC(¯QT),θx⇀θ0xweakly−∗inL∞(0,T;L2),θt⇀¯θtweaklyinL2(QT). | (1.11) |
(iii) For some constant C>0 independent of α∈(0,1),
‖(ψ−¯ψ,θ−¯θ)‖L∞(0,T;L2)+‖θx−¯θx‖L2(QT)≤Cα1/4. | (1.12) |
Remark 1.1. The L2 convergence rate for ψ is optimal whenever a boundary layer occurs as α→0+. The reason why this is optimal will be shown by an example in Section 3.3.
We next study the boundary layer effect of the problem given by (1.1) and (1.2). Before stating the main result, we first recall the concept of BL–thickness, defined as in [18].
Definition 1.2. A nonnegative function δ(α) is called the BL–thickness for the problem given by (1.1) and (1.2) with a vanishing α if δ(α)↓0 as α↓0, and if
{limα→0+‖(ψ−¯ψ,θ−¯θ)‖L∞(0,T;L∞(δ(α),1−δ(α))=0,liminfα→0+‖(ψ−¯ψ,θ−¯θ)‖L∞(0,T;L∞(0,1))>0, |
where (ψ,θ) and (¯ψ,¯θ) are the solutions for the problems given by (1.1), (1.2) and (1.4), (1.5), respectively.
The second result of this paper is stated as follows.
Theorem 1.3. Under the conditions of Theorem 1.1, any function δ(α) satisfying the condition that δ(α)↓0 and √α/δ(α)→0 as α↓0 is a BL–thickness whenever (¯ψ(1,t),¯ψ(0,t))≢(ξ(t),ξ(t)) in (0,T).
Remark 1.2. Here, the function θ satisfies the spatially periodic boundary condition that has been considered in some papers, e.g., [3,29,30]. One can see from the analysis that Theorems 1.1 and 1.3 are still valid when the boundary condition of θ is the homogeneous Neumann boundary condition or homogeneous Dirichlet boundary condition.
The proofs of the above theorems are based on the uniform estimates given by (1.6). First, based on a key observation of the structure of system (1.1), we find two identities (see Lemma 2.1). In this step, an idea is to transform (1.1)2 into an equation with a conservative term (see (2.4)). And then, from the two identities, we deduce some basic energy-type estimates (see Lemma 2.2). The condition σν<0 plays an important role here. With the uniform estimates in hand, we derive the required uniform bound of (α1/4‖ψx‖L∞(0,t;L2)+α3/4‖ψxx‖L2(QT)) for the study of the boundary layer effect via standard analysis (see [18,19]). See Lemma 2.3 with proof. The uniform bound of ‖(ψ,θ)‖L∞(QT) is derived by a more delicate analysis (see Lemma 2.4). Finally, the boundary estimate ‖ω1/2ψx‖L∞(0,T;L2)≤C is established (see Lemma 2.6), through which we complete the proof for the estimation of the boundary layer thickness.
Before ending the section, let us introduce some of the previous works on system (1.1). It should be noted that most of those works focus on the case when σν>0. In this direction, Tang and Zhao [6] considered the Cauchy problem for the following system:
{ψt=−(1−α)ψ−θx+αψxx,θt=−(1−α)θ+νψx+2ψθx+αθxx, | (1.13) |
with the following initial condition: (ψ,θ)(x,0)=(ψ0,θ0)(x)→(0,0)asx→±∞, where 0<α<1 and 0<ν<4α(1−α). They established the global existence, nonlinear stability and optimal decay rate of solutions with small-sized initial data. Their result was extended in [7,8] to the case of the initial data with different end states, i.e.,
(ψ,θ)(x,0)=(ψ0,θ0)(x)→(ψ±,θ±)asx→±∞, | (1.14) |
where ψ±,θ± are constant states with (ψ+−ψ−,θ+−θ−)≢(0,0). For the initial-boundary value problem on quadrants, Duan et al. [9] obtained the global existence and the Lp decay rates of solutions for the problem given by (1.13) and (1.14) with small-sized initial data. For the Dirichlet boundary value problem, Ruan and Zhu [10] proved the global existence of system (1.1) with small-sized initial data and justified the limit as β→0+ under the following condition: ν=μβ for some constant μ>0. In addition, they established the existence of a boundary layer of thickness O(βδ) with any 0<δ<1/2. Following [10], some similar results on the Dirichlet–Neumann boundary value problem were obtained in [11]. For the case when σν<0, however, there are few results on system (1.1). Chen and Zhu [12] studied the problem given by (1.13) and (1.14) with 0<α<1; they proved global existence with small-sized initial data and justified the limit as α→0+. In their argument, the condition σν<0 plays a key role. Ruan and Yin [13] discussed two cases of system (1.1): α=β and α≢β, and they obtained some further results that include the C∞ convergence rate as β→0+.
We also mention that one can obtain a slightly modified system by replacing the nonlinear term 2ψθx in (1.1) with (ψθ)x. Jian and Chen [31] first obtained the global existence results for the Cauchy problem. Hsiao and Jian [29] proved the unique solvability of global smooth solutions for the spatially periodic Cauchy problem by applying the Leary–Schauder fixed-point theorem. Wang [32] discussed long time asymptotic behavior of solutions for the Cauchy problem. Some other results on this system is available in [33,34,35] and the references therein.
The rest of the paper is organized as follows. In Section 2, we will derive the uniform a priori estimates given by (1.6). The proofs of Theorem 1.1 and Theorem 1.3 will be given in Section 3 and Section 4, respectively.
In the section, we will derive the uniform a priori estimates by (1.6), and we suppose that the solution (ψ,θ) is smooth enough on ¯QT. From now on, we denote by C a positive generic constant that is independent of α∈(0,α0] for α0>0.
First of all, we observe that (˜ψ,˜θ):=(2ψ,2θ/ν) solves the following system:
{˜ψt=−(σ−α)˜ψ−σν˜θx+α˜ψxx,˜θt=−(1−β)˜θ+˜ψx+˜ψ˜θx+β˜θxx, | (2.1) |
with the following initial and boundary conditions:
{(˜ψ,˜θ)(x,0)=(2ψ0,2θ0/ν)(x),0≤x≤1,˜ψ(1,t)=˜ψ(0,t)=2ξ(t),(˜θ,˜θx)(1,t)=(˜θ,˜θx)(0,t),0≤t≤T. |
From the system, we obtain the following crucial identities for our analysis.
Lemma 2.1. (˜ψ,˜θ) satisfies the following for all t∈[0,T]:
ddt∫10(12˜ψ2+σν˜θ)dx+∫10[α˜ψ2x+σν(1−β)˜θ]dx=(α−σ)∫10˜ψ2dx+α[(˜ψ˜ψx)(1,t)−(˜ψ˜ψx)(0,t)] | (2.2) |
and
ddt∫10e˜θdx+β∫10e˜θ˜θ2xdx+(1−β)∫10˜θe˜θdx=0. | (2.3) |
Proof. Multiplying (2.1)1 and (2.1)2 by ˜ψ and σν, respectively, adding the equations and then integrating by parts over (0,1) with respect to x, we obtain (2.2) immediately.
We now multiply (2.1)2 by e˜θ to obtain
(e˜θ)t=−(1−β)˜θe˜θ+(˜ψe˜θ)x+βe˜θ˜θxx. | (2.4) |
Integrating it over (0,1) with respect to x, we get (2.3) and complete the proof.
Lemma 2.2. Let the assumptions of Theorem 1.1 hold. Then, we have the following for any t∈[0,T]:
∫10ψ2dx+α∬Qtψ2xdxdτ≤C | (2.5) |
and
|∫10θdx|≤C. | (2.6) |
Proof. Integrating (2.2) and (2.3) over (0,t), respectively, we obtain
12∫10˜ψ2dx+∬Qt[α˜ψ2x+(σ−α)˜ψ2]dxdτ=∫10(2ψ20+2σθ0)dx+α∫t0ξ(t)˜ψx|x=1x=0dτ−σν(∫10˜θdx+(1−β)∬Qt˜θdxdτ), | (2.7) |
and
∫10e˜θdx+β∬Qte˜θ˜θ2xdxdτ=∫10e2θ0νdx−(1−β)∬Qt˜θe˜θdxdτ. | (2.8) |
From the inequalities ex≥1+x and xex≥−1 for all x∈R, and given β∈(0,1), we derive from (2.8) that
∫10˜θdx≤C, |
so that
∫10˜θdx+(1−β)∬Qt˜θdxdτ≤C. | (2.9) |
We now treat the second term on the right-hand side of (2.7). Integrating (2.1)1 over (0,1) with respect to x, multiplying it by ξ(t) and then integrating over (0,t), we obtain
|α∫t0ξ(τ)˜ψx|x=1x=0dτ|=|ξ(t)∫10˜ψdx−2ξ(0)∫10ψ0dx−∫t0ξt(τ)∫10˜ψdxdτ+(σ−α)∫t0ξ(τ)∫10˜ψdxdτ|≤C+14∫10˜ψ2dx+C∬Qt˜ψ2dxdτ. | (2.10) |
Combining (2.9) and (2.10) with (2.7), and noticing that σν<0, we obtain (2.5) by using the Gronwall inequality.
Combining (2.5) and (2.10) with (2.7) yields
|∫10˜θdx+(1−β)∬Qt˜θdxdτ|≤C. | (2.11) |
Let φ=∬Qt˜θdxdτ. Then, (2.11) is equivalent to
|(e(1−β)tφ)t|≤Ce(1−β)t, |
which implies that |φ|≤C. This, together with (2.11), gives (2.6) and completes the proof.
Lemma 2.3. Let the assumptions of Theorem 1.1 hold. Then, for any t∈[0,T],
∫10θ2dx+∬Qt(θ2x+ψ2t)dxdτ≤C | (2.12) |
and
α∫10ψ2xdx+α2∬Qtψ2xxdxdτ≤C. | (2.13) |
Proof. Multiplying (1.1)2 by θ, integrating over (0,1), and using (2.5) and Young's inequality, we have
12ddt∫10θ2dx+β∫10θ2xdx=(β−1)∫10θ2dx+∫10(2ψθ−νψ)θxdx≤C+β4∫10θ2xdx+C‖θ‖2L∞. | (2.14) |
From the embedding theorem, W1,1↪L∞, and Young's inequality, we have
‖θ‖2L∞≤C∫10θ2dx+C∫10|θθx|dx≤Cε∫10θ2dx+ε∫10θ2xdx,∀ε∈(0,1). | (2.15) |
Plugging it into (2.14), taking ε sufficiently small and using the Gronwall inequality, we obtain
∫10θ2dx+∬Qtθ2xdxdτ≤C. | (2.16) |
Rewrite (1.1)1 as
−ψt+αψxx=(σ−α)ψ+σθx. |
Taking the square on the two sides, integrating over (0,1) and using (2.5), we obtain
αddt∫10ψ2xdx+∫10(ψ2t+α2ψ2xx)dx=∫10[(σ−α)ψ+σθx]2dx+αξtψx|x=1x=0≤C+C∫10θ2xdx+Cα‖ψx‖L∞. | (2.17) |
From the embedding theorem, W1,1↪L∞, and the Hölder inequality, we have
‖ψx‖L∞≤C∫10|ψx|dx+C∫10|ψxx|dx; |
hence, by Young's inequality,
α‖ψx‖L∞≤Cε+Cα∫10ψ2xdx+εα2∫10ψ2xxdx. |
Plugging it into (2.17), taking ε sufficiently small and using (2.16), we obtain the following by applying the Gronwall inequality:
α∫10ψ2xdx+∬Qt(ψ2t+α2ψ2xx)dxdτ≤C. |
This completes the proof of the lemma.
For η>0, let
Iη(s)=∫s0hη(τ)dτ,wherehη(s)={1,s≥η,sη,|s|<η,−1,s<−η. |
Obviously, hη∈C(R),Iη∈C1(R) and
h′η(s)≥0a.e.s∈R;|hη(s)|≤1,limη→0+Iη(s)=|s|,∀s∈R. | (2.18) |
With the help of (2.18), we obtain the following estimates, which are crucial for the study of the boundary layer effect.
Lemma 2.4. Let the assumptions of Theorem 1.1 hold. Then, for any t∈[0,T],
∫10(|ψx|+θ2x)dx+∬Qtθ2tdxdτ≤C. | (2.19) |
In particular, ‖(ψ,θ)‖L∞(QT)≤C.
Proof. Let W=ψx. Differentiating (1.1)1 with respect to x, we obtain
Wt=−(σ−α)W−σθxx+αWxx. |
Multiplying it by hη(W) and integrating over Qt, we get
∫10Iη(W)dx=∫10Iη(ψ0x)dx−∬Qt[(σ−α)W+σθxx]hη(W)dxdτ−α∬Qth′η(W)W2xdxdτ+α∫t0(Wxhη(W))|x=1x=0dτ=:∫10Iη(ψ0x)dx+3∑i=1Ii. | (2.20) |
By applying |hη(s)|≤1, we have
I1≤C+C∬Qt(|W|+|θxx|)dxdτ. | (2.21) |
By using h′η(s)≥0 for s∈R, we have
I2≤0. | (2.22) |
We now estimate I3. Since θ(1,t)=θ(0,t), it follows from the mean value theorem that, for any t∈[0,T], there exists some xt∈(0,1) such that θx(xt,t)=0; hence,
|θx(y,t)|=|∫yxtθxx(x,t)dx|≤∫10|θxx|dx,∀y∈[0,1]. |
It follows from (1.1)1 that
α∫t0|Wx(a,t)|dτ≤C+C∫t0|θx(a,τ)|dτ≤C+C∬Qt|θxx|dxdτ,wherea=0,1. |
Consequently, thanks to |hη(s)|≤1,
I3≤Cα∫t0[|Wx(1,τ)|+|Wx(0,τ)|]dτ≤C+C∬Qt|θxx|dxdτ. | (2.23) |
Plugging (2.21)–(2.23) into (2.20), and letting η→0+, we deduce the following by noticing that limη→0+Iη(s)=|s|:
∫10|ψx|dx≤C+C∬Qt|ψx|dxdτ+C∬Qt|θxx|dxdτ. | (2.24) |
Plugging (1.1)2 into the final term of the right-hand side on (2.24), and by using (2.5) and (2.16), we obtain the following by using the Gronwall inequality:
∫10|ψx|dx≤C+C∬Qt|θt|dxdτ. | (2.25) |
By using the embedding theorem, (2.5) and (2.25), we have
‖ψ‖2L∞≤(∫10|ψ|dx+∫10|ψx|dx)2≤C[1+P(t)], | (2.26) |
where P(t)=∬Qtθ2tdxdτ.
Multiplying (1.1)2 by θt and integrating over Qt, we have
P(t)+∫10(β2θ2x+1−β2θ2)dx≤C+∬Qt(νψx+2ψθx)θtdxdτ. | (2.27) |
By applying (2.5), (2.12), (2.16), (2.26) and Young's inequality, we deduce the following:
ν∬Qtψxθtdxdτ=−ν∬Qtψ(θx)tdxdτ=−ν∫10ψθxdx+ν∫10ψ0θ0xdx+ν∬Qtψtθxdxdτ≤C+β4∫10θ2xdx | (2.28) |
and
2∬Qtψθxθtdxdτ≤12P(t)+C∫t0(∫10θ2x(x,τ)dx)‖ψ‖2L∞dτ≤C+12P(t)+C∫t0(∫10θ2x(x,τ)dx)P(τ)dτ. | (2.29) |
Substituting (2.28) and (2.29) into (2.27), and noticing that ∬QTθ2xdxdt≤C, we obtain the following by using the Gronwall inequality:
∫10θ2xdx+∬Qtθ2tdxdτ≤C. |
This, together with (2.25), gives
∫10|ψx|dx≤C. |
And, the proof of the lemma is completed.
Lemma 2.5. Let the assumptions of Theorem 1.1 hold. Then, for any t∈[0,T],
α1/2∫10ψ2xdx+α3/2∬Qtψ2xxdxdτ≤C. | (2.30) |
Proof. Multiplying (1.1)2 by θxx, integrating over (0,1) and using Lemmas 2.2–2.4, we have
12ddt∫10θ2xdx+β∫10θ2xxdx=∫10[(1−β)θ−νψx−2ψθx]θxxdx≤C+C∫10ψ2xdx+β4∫10θ2xxdx+C‖θx‖2L∞≤C+C∫10ψ2xdx+β2∫10θ2xxdx, | (2.31) |
where we use the estimate with ε sufficiently small based on a proof similar to (2.15):
‖θx‖2L∞≤Cε∫10θ2xdx+ε∫10θ2xxdx,∀ε∈(0,1). |
It follows from (2.31) that
∫10θ2xdx+∬Qtθ2xxdxdτ≤C+C∬Qtψ2xdxdτ. | (2.32) |
Similarly, multiplying (1.1)1 by αψxx, and integrating over (0,1), we have
α2ddt∫10ψ2xdx+α2∫10ψ2xxdx+α(σ−α)∫10ψ2xdx=−σα∫10ψxθxxdx+[(σ−α)ξ+ξt][α˜ψx]|x=1x=0+σα(θxψx)|x=1x=0≤Cα∫10ψ2xdx+Cα∫10θ2xxdx+Cα[1+|θx(1,t)|+|θx(0,t)|]‖ψx‖L∞. | (2.33) |
Then, by integrating over (0,t) and using (2.32) and the Hölder inequality, we obtain
α∫10ψ2xdx+α2∬Qtψ2xxdxdτ≤Cα+Cα∬Qtψ2xdxdτ+CαA(t)(∫t0‖ψx‖2L∞dτ)1/2, | (2.34) |
where
A(t):=(∫t0[1+|θx(1,τ)|2+|θx(0,τ)|2]dτ)1/2. |
To estimate A(t), we first integrate (1.1)2 over (x,1) for x∈[0,1], and then we integrate the resulting equation over (0,1) to obtain
θx(1,t)=1β∫10∫1y[θt+(1−β)θ−2ψθx]dxdy−νξ(t)+ν∫10ψ(x,t)dx. |
By applying Lemmas 2.3 and 2.4, we obtain
∫T0θ2x(1,t)dt≤C. | (2.35) |
Similarly, we have
∫T0θ2x(0,t)dt≤C. | (2.36) |
Therefore,
A(t)≤C. | (2.37) |
From the embedding theorem, W1,1↪L∞, and the Hölder inequality, we have
‖ψx‖2L∞≤C∫10ψ2xdx+C∫10|ψxψxx|dx≤C∫10ψ2xdx+C(∫10ψ2xdx)1/2(∫10ψ2xxdx)1/2; |
therefore, by the Hölder inequality and Young's inequality, we obtain the following for any ε∈(0,1):
α(∫t0‖ψx‖2L∞dτ)1/2≤C√αε+Cα∬Qtψ2xdxdτ+εα2∬Qtψ2xxdxdτ. | (2.38) |
Combining (2.37) and (2.38) with (2.34), and taking ε sufficiently small, we obtain (2.30) by using the Gronwall inequality. The proof of the lemma is completed.
As a consequence of Lemma 2.5 and (2.32), we have that α1/2∬QTθ2xxdxdt≤C.
Lemma 2.6. Let the assumptions of Theorem 1.1 hold. Then, for any t∈[0,T],
∫10ψ2xω(x)dx+∬Qt(θ2xx+αψ2xx)ω(x)dxdτ≤C, |
where ω is the same as that in (1.7).
Proof. Multiplying (1.1)1 by ψxxω(x) and integrating over Qt, we have
12∫10ψ2xω(x)dx+α∬Qtψ2xxω(x)dxdτ≤C+C∬Qtψ2xω(x)dxdτ+3∑i=1Ii, | (2.39) |
where
{I1=(α−σ)∬Qtψψxω′(x)dxdτ,I2=−σ∬Qtψxθxxω(x)dxdτ,I3=−σ∬Qtψxθxω′(x)dxdτ. |
By applying Lemmas 2.3 and 2.4, we have
I1≤C∬Qt|ψ||ψx|xdτ≤C, | (2.40) |
and, by substituting (1.1)2 into I2, we get
I2=−σβ∬Qtψxω(x)[θt+(1−β)θ−νψx−2ψθx]dxdτ≤C+C∬Qtψ2xω(x)dxdτ. | (2.41) |
To estimate I3, we first multiply (1.1)2 by θxω′(x), and then we integrate over Qt to obtain
ν∬Qtψxθxω′(x)dxdτ=E−β2∫t0[2θ2x(1/2,τ)−θ2x(1,τ)−θ2x(0,τ)]dτ, |
where
E=∬Qtθxω′(x)[θt+(1−β)θ−2ψθx]dxdτ. |
Note that |E|≤C by Lemmas 2.3 and 2.4. Then, given σν<0, we have
I3=−σνE+σνβ2∫t0[2θ2x(1/2,t)−θ2x(1,t)−θ2x(0,t)]dt≤C+C∫t0[θ2x(1,τ)+θ2x(0,τ)]dτ. | (2.42) |
Combining (2.35) and (2.36) with (2.42), we obtain
I3≤C. | (2.43) |
Substituting (2.40), (2.41) and (2.43) into (2.39), we complete the proof of the lemma by applying the Gronwall inequality.
In summary, all uniform a priori estimates given by (1.6) have been obtained.
For any fixed α>0, the global existence of strong solutions for the problem given by (1.1) and (1.2) can be shown by a routine argument (see [29,36]). First, by a smooth approximation of the initial data satisfying the conditions of Theorem 1.1, we obtain a sequence of global smooth approximate solutions by combining the a priori estimates given by (1.6) with the Leray–Schauder fixed-point theorem (see [36, Theorem 3.1]). See [29] for details. And then, a global strong solution satisfying (1.6) is constructed by means of a standard compactness argument.
The uniqueness of solutions can be proved as follows. Let (ψ2,θ2) and (ψ1,θ1) be two strong solutions, and denote (Ψ,Θ)=(ψ2−ψ1,θ2−θ1). Then, (Ψ,Θ) satisfies
{Ψt=−(σ−α)Ψ−σΘx+αΨxx,Θt=−(1−β)Θ+νΨx+2ψ2Θx+2θ1xΨ+βΘxx, | (3.1) |
with the following initial and boundary conditions:
{(Ψ,Θ)|t=0=(0,0),0≤x≤1,(Ψ,Θ,Θx)|x=0,1=(0,0,0),0≤t≤T. |
Multiplying (3.1)1 and (3.1)2 by Ψ and Θ, respectively, integrating them over [0,1] and using Young's inequality, we obtain
12ddt∫10Ψ2dx+α∫10Ψ2xdx≤β4∫10Θ2xdx+C∫10Ψ2dx | (3.2) |
and
12ddt∫10Θ2dx+β∫10Θ2xdx=∫10[(β−1)Θ2−νΘxΨ+2ψ2ΘxΘ+2θ1xΨΘ]dx≤β4∫10Θ2xdx+C∫10(Ψ2+Θ2)dx, | (3.3) |
where we use ‖ψ2‖L∞(QT)+‖θ1x‖L∞(0,T;L2)≤C and
∬Qtθ21xΘ2dxdτ≤C∫t0‖Θ‖2L∞dτ≤∬QtΘ2dxdτ+β16∬QtΘ2xdxdτ. |
First, by adding (3.2) and (3.3), and then using the Gronwall inequality, we obtain that ∫10(Ψ2+Θ2)dx=0on[0,T] so that (Ψ,Θ)=0 on ¯QT. This completes the proof of Theorem 1.1(ⅰ).
The aim of this part is to prove (1.10) and (1.11). Given the uniform estimates given by (1.6) and Aubin–Lions lemma (see [37]), there exists a sequence {αn}∞n=1, tending to zero, and a pair of functions (¯ψ,¯θ) satisfying (1.8) such that, as αn→0+, the unique global solution of the problem given by (1.1) and (1.2) with α=αn, still denoted by (ψ,θ), converges to (¯ψ,¯θ) in the following sense:
{ψ→¯ψstronglyinLp(QT)foranyp≥2,ψ→¯ψweaklyinM(QT),θ→¯θstronglyinC(¯QT),θx⇀θ0xweakly−∗inL∞(0,T;L2),(ψt,θt)⇀(¯ψt,¯θt)weaklyinL2(QT), | (3.4) |
where M(QT) is the set of Radon measures on QT. From (3.4), one can directly check that (¯ψ,¯θ) is a global solution for the problem given by (1.4) and (1.5) in the sense of (1.8) and (1.9).
We now return to the proof of the uniqueness. Let (¯ψ2,¯θ2) and (¯ψ1,¯θ1) be two solutions, and denote (M,N)=(¯ψ2−¯ψ1,¯θ2−¯θ1). It follows from (1.9) that
12∫10M2dx+σ∬QtM2dxdτ=−ν∬QtMNxdxdτ, | (3.5) |
and
12∫10N2dx+∬Qt[βN2x+(1−β)N2]dxdτ=∬Qt(−νMNx+2ψ2NxN+2MNθ1x)dxdτ. | (3.6) |
By using Young's inequality, we immediately obtain
12∫10M2dx≤C∬QtM2dxdτ+β4∬QtN2xdxdτ,12∫10N2dx+β∬QtN2xdxdτ≤C∬Qt(M2+N2)dxdτ+β4∬QtN2xdxdτ, |
where we use ψ2∈L∞(QT),θ1x∈L∞(0,T;L2), and the estimate with ε sufficiently small:
∬QtN2θ21xdxdτ≤∫T0‖N‖2L∞∫10θ21xdxdτ≤Cε∬QtN2dxdτ+ε∬QtN2xdxdτ,∀ε∈(0,1). |
Then, the Gronwall inequality gives (M,N)=(0,0) a.e. in QT. Hence, the uniqueness follows.
Thanks to the uniqueness, the convergence results of (3.4) hold for α→0+.
Finally, by using Lemma 2.3, we immediately obtain
α2∬Qtψ4xdxdτ≤C√α. |
So, αψ2x→0 strongly in L2(QT) as α→0+. Thus, the proof of Theorem 1.1(ⅱ) is completed.
In addition, the following local convergence results follows from (1.6) and (3.4):
{ψ→¯ψstronglyinC([ϵ,1−ϵ]×[0,T]),ψx⇀ψ0xweakly−∗inL∞(0,T;L2(ϵ,1−ϵ)),θxx⇀¯θxxweaklyinL2((ϵ,1−ϵ)×(0,T)) |
for any ϵ∈(0,1/4). Consequently, the equations comprising (1.1) hold a.e in QT.
This purpose of this part is to prove (1.12). Let (ψi,θi) be the solution of the problem given by (1.1) and (1.2) with α=αi∈(0,1) for i=1,2. Denote U=ψ2−ψ1 and V=θ2−θ1. Then it satisfies
{Ut=−σU+α2ψ2−α1ψ1−σVx+α2ψ2xx−α1ψ1xx,Vt=−(1−β)V+νUx+2ψ2Vx+2Uθ1x+βVxx. | (3.7) |
Multiplying (3.7)1 and (3.7)2 by U and V, respectively, integrating them over Qt and using Lemmas 2.3–2.5, we have
12∫10U2dx≤C(√α2+√α1)+C∬QtU2dxdτ+β4∬QtV2xdxdτ |
and
12∫10V2dx+β∬QtV2xdxdτ≤C∬Qt(U2+V2)dxdτ+β4∬QtV2xdxdτ, |
where we use ‖ψ2‖L∞(QT)+‖θ1x‖L∞(0,T;L2)≤C and the estimate with ε sufficiently small:
∬QtV2(θ1x)2dxdτ≤C∫t0‖V2‖L∞dτ≤Cε∬QtV2dxdτ+ε∬QtV2xdxdτ,∀ε∈(0,1). |
Then, the Gronwall inequality gives
∫10(U2+V2)dx+∬QtV2xdxdτ≤C(√α2+√α1). |
We now fix α=α2, and then we let α1→0+ to obtain the desired result by using (1.10) and (1.11).
In summary, we have completed the proof of Theorem 1.1.
We next show the optimality of the L2 convergence rate O(α1/4) for ψ, as stated in Remark 1.1. For this purpose, we consider the following example:
(ψ0,θ0)≡(0,1)on[0,1]andξ(t)≡t3in[0,T]. |
It is easy to check that (¯ψ,¯θ)=(0,e(β−1)t) is the unique solution of the problem given by (1.4) and (1.5). According to Theorem 1.3 of Section 4, a boundary layer exists as α→0+. To achieve our aim, it suffices to prove the following:
liminfα→0+(α−1/4‖ψ‖L∞(0,T;L2))>0. | (3.8) |
Suppose, on the contrary, that there exists a subsequence {αn} satisfying αn→0+ such that the solution of the problem given by (1.1) and (1.2) with α=αn, still denoted by (ψ,θ), satisfies
sup0<t<T∫10ψ2dx=o(1)α1/2n, | (3.9) |
where o(1) indicates a quantity that uniformly approaches to zero as αn→0+. Then, by using the embedding theorem, we obtain
‖ψ‖2L∞≤C∫10ψ2dx+C∫10|ψ||ψx|dx≤Cα1/2n+C(∫10ψ2dx∫10ψ2xdx)1/2. |
Hence, we get that ‖ψ‖L∞(0,T;L∞)→0asαn→0+ by using (3.9) and . On the other hand, it is obvious that by using (1.11). This shows that a boundary layer does not occur as , and this leads to a contradiction. Thus, (3.8) follows. This proof is complete.
Thanks to , we have
By the embedding theorem, and from Theorem 1.1(ⅲ), we obtain the following for any :
Hence, for any function satisfying that and as , it holds that
On the other hand, it follows from (1.11) that . Consequently, for any function satisfying that and as , we have
Finally, we observe that
whenever on . This ends the proof of Theorem 1.3.
The authors declare that they have not used Artificial Intelligence (AI) tools in the creation of this article.
We would like to express deep thanks to the referees for their important comments. The research was supported in part by the National Natural Science Foundation of China (grants 12071058, 11971496) and the research project of the Liaoning Education Department (grant 2020jy002).
The authors declare that there is no conflict of interest.
[1] |
D. Y. Hsieh, On partial differential equations related to Lorenz system, J. Math. Phys., 28 (1987), 1589–1597. https://doi.org/10.1063/1.527465 doi: 10.1063/1.527465
![]() |
[2] |
Y. Kuramoto, T. Tsuzuki, On the formation of dissipative structures in reaction-diffusion systems, Prog. Theoret. Phys., 54 (1975), 687–699. https://doi.org/10.1143/PTP.54.687 doi: 10.1143/PTP.54.687
![]() |
[3] | S. Q. Tang, Dissipative Nonlinear Evolution Equations and Chaos, Ph.D Thesis, The Hong Kong University of Science and Technology in Hong Kong, 1995. |
[4] |
E. N. Lorenz, Deterministic nonperiodic flows, J. Atom. Sci., 20 (1963), 130–141. https://doi.org/10.1175/1520-0469(1963)020%3C0130:DNF%3E2.0.CO;2 doi: 10.1175/1520-0469(1963)020%3C0130:DNF%3E2.0.CO;2
![]() |
[5] |
D. Y. Hsieh, S. Q. Tang, Y. P Wang, L. X. Wu, Dissipative nonlinear evolution equations and chaos, Stud. Appl. Math., 101 (1998), 233–266. https://doi.org/10.1063/1.527465 doi: 10.1063/1.527465
![]() |
[6] |
S. Q. Tang, H. J. Zhao, Nonlinear stability for dissipative nonlinear evolution equations with ellipticity, J. Math. Anal. Appl., 233 (1999), 336–358. https://doi.org/10.1006/jmaa.1999.6316 doi: 10.1006/jmaa.1999.6316
![]() |
[7] |
R. J. Duan, C. J. Zhu, Asymptotics of dissipative nonlinear evolution equations with ellipticity: different end states, J. Math. Anal. Appl., 303 (2005), 15–35. https://doi.org/10.1016/j.jmaa.2004.06.007 doi: 10.1016/j.jmaa.2004.06.007
![]() |
[8] |
C. J. Zhu, Z. A. Wang, Decay rates of solutions to dissipative nonlinear equations with ellipticity, Z. Angew. Math. Phys., 55 (2004), 994–1014. https://doi.org/10.1007/s00033-004-3117-9 doi: 10.1007/s00033-004-3117-9
![]() |
[9] |
R. J. Duan, S. Q. Tang, C. J. Zhu, Asymptotics in nonlinear evolution system with dissipation and ellipticity on quadrant, J. Math. Anal. Appl., 323 (2006), 1152–1170. https://doi.org/10.1016/j.jmaa.2005.11.002 doi: 10.1016/j.jmaa.2005.11.002
![]() |
[10] |
L. Z. Ruan, C. J. Zhu, Boundary layer for nonlinear evolution equations with damping and diffusion, Disc. Cont. Dyna. Sys., 32 (2012), 331–352. https://doi.org/10.3934/dcds.2012.32.331 doi: 10.3934/dcds.2012.32.331
![]() |
[11] |
H. Y. Peng, L. Z. Ruan, J. L. Xiang, A note on boundary layer of a nonlinear evolution system with damping and diffusions, J. Math. Anal. Appl., 426 (2015), 1099–1129. https://doi.org/10.1016/j.jmaa.2015.01.053 doi: 10.1016/j.jmaa.2015.01.053
![]() |
[12] |
K. M. Chen, C. J. Zhu, The zero diffusion limit for nonlinear hyperbolic system with damping and diffusion, J. Hyper. Diff. Equation, 5 (2008), 767–783. https://doi.org/10.1142/S0219891608001696 doi: 10.1142/S0219891608001696
![]() |
[13] |
L. Z. Ruan, H. Y. Yin, Convergence rates of vanishing diffusion limit on nonlinear hyperbolic system with damping and diffusion, J. Math. Phys., 53 (2012), 103703. https://doi.org/10.1063/1.4751283 doi: 10.1063/1.4751283
![]() |
[14] |
L. Z. Ruan, Z. Y. Zhang, Global decaying solution to dissipative nonlinear evolution equations with ellipticity, Appl. Math. Comput., 217 (2011), 6054–6066. https://doi.org/10.1016/j.amc.2010.12.066 doi: 10.1016/j.amc.2010.12.066
![]() |
[15] |
K. Nishihara, Asymptotic profile of solutions to nonlinear dissipative evolution system with ellipticity, Z. Angew. Math. Phys., 57 (2006), 604–614. https://doi.org/10.1007/s00033-006-0062-9 doi: 10.1007/s00033-006-0062-9
![]() |
[16] |
Z. A. Wang, Optimal decay rates of solutions to dissipative nonlinear evolution equations with ellipticity, Z. Angew. Math. Phys., 57 (2006), 399-418. https://doi.org/10.1007/s00033-005-0030-9 doi: 10.1007/s00033-005-0030-9
![]() |
[17] | H. Schlichting, J. Kestin, R. L. Street, Boundary Layer Theory, 7th Edition, McGraw-Hill, London, 1979. |
[18] |
H. Frid, V. Shelukhin, Boundary layers for the Navier–Stokes equations of compressible fluids, Comm. Math. Phys., 208 (1999), 309–330. https://doi.org/10.1007/s002200050760 doi: 10.1007/s002200050760
![]() |
[19] |
X. L. Qin, T. Yang, Z. A. Yao, W. S. Zhou, Vanishing shear viscosity and boundary layer for the Navier–Stokes equations with cylindrical symmetry, Arch. Rational Mech. Anal., 216 (2015), 1049–1086. https://doi.org/10.1007/s00205-014-0826-x doi: 10.1007/s00205-014-0826-x
![]() |
[20] |
L. Yao, T. Zhang, C. J. Zhu, Boundary layers for compressible Navier–Stokes equations with density–dependent viscosity and cylindrical symmetry, Ann. Inst. H. Poincaré Anal. NonLinéaire., 28 (2011), 677–709. https://doi.org/10.1016/j.anihpc.2011.04.006 doi: 10.1016/j.anihpc.2011.04.006
![]() |
[21] |
S. Jiang, J. W. Zhang, Boundary layers for the Navier–Stokes equations of compressible heat–conducting flows with cylindrical symmetry, SIAM J. Math. Anal. 41 (2009), 237–268. https://doi.org/10.1137/07070005X doi: 10.1137/07070005X
![]() |
[22] |
Q. Q. Hou, Z. A. Wang, K. Zhao, Boundary layer problem on a hyperbolic system arising from chemotaxis, J. Differ. Equations, 261 (2016), 5035–5070. https://doi.org/10.1016/j.jde.2016.07.018 doi: 10.1016/j.jde.2016.07.018
![]() |
[23] |
M. Sammartino, R. Caflisch, Zero viscosity limit for analytic solutions of the Navier–Stokes equations on a half-space, I. Existence for Euler and Prandtl equations, Comm. Math. Phys., 192 (1998), 433–461. https://doi.org/10.1007/s002200050304 doi: 10.1007/s002200050304
![]() |
[24] | V. V. Shelukhin, A shock layer in parabolic perturbations of a scalar conservation law, in Proceedings of the Edinburgh Mathematical Society, 46 (2003), 315–328. https://doi.org/10.1017/S0013091502000548 |
[25] |
V. V. Shelukhin, The limit of zero shear viscosity for compressible fluids, Arch. Rational Mech. Anal., 143 (1998), 357–374. https://doi.org/10.1007/s002050050109 doi: 10.1007/s002050050109
![]() |
[26] |
H. Y. Wen, T. Yang, C. J. Zhu, Optimal convergence rate of the vanishing shear viscosity limit for compressible Navier–Stokes equations with cylindrical symmetry, J. Math. Pures Appl., 146 (2021), 99–126. https://doi.org/10.1016/j.matpur.2020.09.003 doi: 10.1016/j.matpur.2020.09.003
![]() |
[27] |
E. Grenier, O. Guès, Boundary layers for viscous perturbations of noncharacteristic quasilinear problems, J. Differ. Equations, 143 (1998), 110–146. https://doi.org/10.1006/jdeq.1997.3364 doi: 10.1006/jdeq.1997.3364
![]() |
[28] |
W. S. Zhou, X. L. Qin, C. Y. Qu, Zero shear viscosity limit and boundary layer for the Navier–Stokes equations of compressible fluids between two horizontal parallel plates, Nonlinearity, 28 (2015), 1721–1743. https://10.1088/0951-7715/28/6/1721 doi: 10.1088/0951-7715/28/6/1721
![]() |
[29] |
L. Hsiao, H. Y. Jian, Global smooth solutions to the spatially periodic Cauchy problem for dissipative nonlinear evolution equations, J. Math. Anal. Appl., 213 (1997), 262–274. https://doi.org/10.1006/jmaa.1997.5535 doi: 10.1006/jmaa.1997.5535
![]() |
[30] | D. L. Powers, Boundary Value Problems: and Partial Differential Equations, Academic Press, 2005. |
[31] |
H. Y. Jian, D. G. Chen, On the Cauchy problem for certain system of semilinear parabolic equation, Acta Math. Sin., 14 (1998), 27–34. https://doi.org/10.1007/BF02563880 doi: 10.1007/BF02563880
![]() |
[32] |
Z. A. Wang, Large time profile of solutions for a dissipative nonlinear evolution system with conservational form, J. Phys. A: Math. Gen., 38 (2005), 10955–10969. 10.1088/0305-4470/38/50/006 doi: 10.1088/0305-4470/38/50/006
![]() |
[33] |
W. Allegretto, Y. P. Lin, Z. Y. Zhang, Properties of global decaying solutions to the Cauchy problem of nonlinear evolution equations, Z. Angew. Math. Phys., 59 (2008), 848–868. https://doi.org/10.1007/s00033-008-7026-1 doi: 10.1007/s00033-008-7026-1
![]() |
[34] |
C. C. Chou, Y. F. Deng, Numerical solutions of a nonlinear evolution system with small dissipation on parallel processors, J. Sci. Comput., 13 (1998), 405–417. https://doi.org/10.1023/A:1023237317673 doi: 10.1023/A:1023237317673
![]() |
[35] |
L. Fan, N. T. Trouba, Convergence rates of vanishing diffusion limit on conservative form of Hsieh's equation, Stud. Appl. Math., 146 (2021), 753–776. https://doi.org/10.1111/sapm.12366 doi: 10.1111/sapm.12366
![]() |
[36] |
C. M. Dafermos, L. Hsiao, Global smooth thermomechanical processes in one-dimensional nonlinear thermoviscoelasticity, Nonlinear Anal., 6 (1982), 435–454. https://doi.org/10.1016/0362-546X(82)90058-X doi: 10.1016/0362-546X(82)90058-X
![]() |
[37] |
J. Simon, Nonhomogeneous viscous incompressible fluids: existence of velocity, density and pressure, SIAM J. Math. Anal., 21 (1990), 1093–1117. https://doi.org/10.1137/0521061 doi: 10.1137/0521061
![]() |