Stability of the Steady States in Multidimensional Reaction Diffusion Systems Arising in Combustion Theory

Abstract

We prove that the steady states of a class of multidimensional reaction–diffusion systems are asymptotically stable at the intersection of unweighted space and exponentially weighted Sobolev spaces, paying particular attention to a special case, namely, systems of equations that arise in combustion theory. The steady-state solutions considered here are the end states of the planar fronts associated with these systems. The present work can be seen as a complement to the previous results on the stability of multidimensional planar fronts.

1. Introduction

In this paper, we study the stability of the steady states of a class of reaction–diffusion systems associated with combustion problems in multidimensional cases. We study the following system of general reaction diffusion equations for $\mathbf{x}=(x_1,x_2,\dots ,x_d)\in {\mathbb{R}}^d$:

$${\mathbf{u}}_t(t,\mathbf{x})=D{\Delta }_{\mathbf{x}}\mathbf{u}(t,\mathbf{x})+f\left(\mathbf{u}(t,\mathbf{x})\right),\mathbf{u}\in {\mathbb{R}}^n,d\ge 2,t\ge 0,n\ge 2,$$

(1)

where $\mathbf{u}=(u_1,u_2,...,u_n)$ is the vector of the temperature and the substances taking part in the reactions, the diagonal matrix $D=diag(d_1,d_2,...,d_n)$ is the transport coefficient matrix (the coefficients of thermal diffusivity and diffusion coefficients), and the non-linear term $f\left(\mathbf{u}\right(t,\mathbf{x}\left)\right)$ in the system is used to describe the reaction rate of each substance. We later provide several hypotheses on the nonlinear terms of this general system that allow us to apply the methods in this paper. A typical example is the following system:

$$\left\{\begin{array}{c}{u}_{1t}(t,\mathbf{x})={\Delta }_{\mathbf{x}}{u}_1(t,\mathbf{x})+u_2(t,\mathbf{x})g\left(u_1(t,\mathbf{x})\right),u_1,u_2\in \mathbb{R},\hfill \\ u_{2t}(t,\mathbf{x})=ϵ{\Delta }_{\mathbf{x}}{u}_2(t,\mathbf{x})-\kappa u_2(t,\mathbf{x})g\left(u_1(t,\mathbf{x})\right),\mathbf{x}\in {\mathbb{R}}^d,\hfill \end{array}\right.$$

(2)

where the reaction rate has an Arrhenius temperature dependence

$$g\left(u_1\right)=\left\{\begin{array}{cc}{e}^{-\frac{1}{u_1}}\hfill & \mathsf{i}\mathsf{f}{u}_1>0;\hfill \\ 0\hfill & \mathsf{i}\mathsf{f}{u}_1\le 0.\hfill \end{array}\right.$$

(3)

While we assume $d\ge 2$ in this paper, note that d usually has a definite physical meaning only when $d=1,2,$ or 3 is adopted. Here, $u_1$ and $u_2$ denote the dimensionless temperature and concentration of the initial substance, respectively, $ϵ$ is the ratio of the coefficient of diffusion to the coefficient of heat conduction, and $\kappa$ is the stoichiometric coefficient, which satisfies $0\le ϵ<1$ and $\kappa >0$. Chemical reaction waves turn one equilibrium state into another; here, we consider combustion waves that involve a strong temperature dependence in the reaction rate. Following the conventions of combustion theory, we assume that the chemical reaction rate is so small at low temperatures compared to the maximum temperature of the combustion wave that their rates can be assumed, to a fairly good approximation, to be equal to zero ([1]), which in the mathematical formulation means setting a cut-off, as in (3).

The class of systems (1) permits various types of traveling wave solutions. Traveling waves are waves that maintain a certain shape while propagating at a fixed speed in a medium; they are widely present in a variety of natural phenomena modeled by nonlinear evolutionary equations that often describe chemical or physical processes shifting from one equilibrium state to another. We consider a traveling wave solution moving in the direction of a given vector $\mathbf{e}\in {\mathbb{R}}^d$ with a constant speed $c>0$, and without loss of generality, we assume that $\mathbf{e}=(1,0,\dots ,0)$. In (1), we employ a t-dependent change of variables $z=x_1-ct,x_j=x_j,j=2,\dots ,d$ and re-denote $\mathbf{x}=\left(z,x_2,\dots ,x_d\right)$ again. Then, system (1) in this moving coordinate system becomes

$${\mathbf{u}}_t(t,\mathbf{x})=D{\Delta }_{\mathbf{x}}\mathbf{u}(t,\mathbf{x})+c(\mathbf{e}·{\nabla }_{\mathbf{x}})\mathbf{u}(t,\mathbf{x})+f\left(\mathbf{u}(t,\mathbf{x})\right).$$

(4)

It can be shown that each solution of (1) corresponds to a solution of (4), and vice versa.

In particular, we focus on the steady states of the wave fronts. By wave fronts, we mean solutions $\varphi \left(z\right)$ of system (1) having limits $z\to$$\pm \infty$,

$$\underset{z\to \pm \infty }{lim}\varphi \left(z\right)={\mathbf{u}}_{\pm },$$

where ${\mathbf{u}}_{+}\ne {\mathbf{u}}_{-},$ meaning that $\varphi$ satisfies the ordinary differential equation

$$D{\varphi }_{zz}\left(z\right)+c{\varphi }_z\left(z\right)+f\left(\varphi \left(z\right)\right)=0.$$

Under circumstances of physical interest, these solutions approach both end states ${\mathbf{u}}_{-}$ and ${\mathbf{u}}_{+}$ at an exponential rate. The end states are usually not independent as such; a detailed discussion can be found in [2] (Chapter 8). We use Model (2) in Remark 1 as an example to illustrate how the states are chosen.

There have been a large number of papers devoted to the study of the existence and stability of combustion waves. In particular, when $d=1$, we consider

$$\left\{\begin{array}{c}{\varphi }_{1zz}+c{\varphi }_{1z}+{\varphi }_{2}g\left({\varphi }_1\right)=0,\hfill \\ ϵ{\varphi }_{2zz}+c{\varphi }_{2z}-\kappa {\varphi }_{2}g\left({\varphi }_1\right)=0,\hfill \end{array}\right.$$

with the end conditions ${\varphi }_1(-\infty )={\varphi }_1^{*}$, ${\varphi }_2(-\infty )=0$, ${\varphi }_1(+\infty )=0$, and ${\varphi }_2(+\infty )=1$. Setting $p={\varphi }_{1z}$ and considering $u_1$ as an independent variable, we obtain

$$\left\{\begin{array}{cc}\hfill & \frac{dp}{d{\varphi }_1}=-c-g\left({\varphi }_1\right)\frac{{\varphi }_2}{p},\hfill \\ \hfill & \frac{d{\varphi }_2}{d{\varphi }_1}=\frac{-c}{ϵp}\left(\kappa ({\varphi }_1-{\varphi }_1^{*})+{\varphi }_2\right)-\frac{\kappa }{ϵ},\hfill \end{array}\right.$$

with conditions ${\varphi }_2\left({\varphi }_1^{*}\right)=0$, ${\varphi }_2\left(0\right)=1$, and $p\left({\varphi }_1^{*}\right)=p\left(0\right)=0$. With the aid of estimates of $p\left({\varphi }_1\right)$ from the above equations, the existence of solutions is established (cf. [3]). The wave speed c, as an important characteristic of combustion waves, is obtained mainly by approximate analysis and asymptotic methods, and in many cases analytical investigations are complemented by numerical studies.

In this paper, we focus on the stability of the steady states of this type of systems. In the physical and mathematical senses, instability can be understood as sensitivity to perturbations, i.e., the possibility that the propagation of a traveling wave is distorted or altered from the system state due to a perturbation, which eventually leads to abnormal appearance or abnormal steady-state output. A more precise definition can be found in [4]. B. Sandstede and A. Scheel [5], having analysed various instability mechanisms in reaction–diffusion systems, base their classification on the type of spectrum on the imaginary axis of the linear operator from linearization of the system. One particular case involves the essential instability [5] that arises when the essential spectrum (defined as consisting of all points on the spectrum that are not isolated eigenvalues of finite multiplicity (see [6], Chapter 5) crosses the imaginary axis. At this point, the proof of nonlinear stability is based upon the use of exponential weights for the essential spectrum (see, e.g., [7,8]) and on renormalization techniques to show that the nonlinear terms are asymptotically independent compared to linear diffusion.

The purpose of using an exponentially weighted space is that this usually allows one to shift the essential spectrum, which would otherwise cross the imaginary axis, to the left half of the complex plane, allowing the exponentially decaying properties of the associated semigroup to be used. An application of this approach to reaction diffusion equations can be found in a series of papers [9,10,11,12,13] which demonstrate the orbital stability of the traveling front by studying perturbations that are small in both unweighted and weighted Sobolev spaces. Subsequently, in [14], the authors established the existence of a stable foliation near the traveling front solution of the reaction diffusion system in one-dimensional space, i.e., the existence of a central manifold at each point on the front solution that attracts nearby solutions that are slightly perturbed to the front solution itself or to one of its translations. This result complements the orbit stability results in [11]. Then, in [15], the same authors extended the stability results for the traveling front solution of the reaction–diffusion system associated with the combustion model in [11] to a multidimensional case. However, the result in [15] was formulated under the assumption that the diffusion coefficients of the variables are identical, although this assumption often does not satisfy the characteristics of reaction–diffusion systems in reality.

2. Methods

To study the stability of $\varphi \left(z\right)$, we can perturb the function $\varphi$ by either:

(i)

adding a function that depends only on one space variable z, that is, considering the solution $\mathbf{u}(t,\mathbf{x})$ of (4) with the initial condition

$$\mathbf{u}(0,\mathbf{x})=\varphi (\mathbf{x}·\mathbf{e})+\mathbf{v}(0,\mathbf{x}·\mathbf{e})$$

with some $\mathbf{v}:\mathbb{R}\times \mathbb{R}\to {\mathbb{R}}^n$ with some $\mathbf{v}$ in the appropriate function space constructed later; or by

(ii)

adding a function that depends on all spatial variables, that is, considering the solution $\mathbf{u}(t,\mathbf{x})$ of (4) with the initial condition

$$\mathbf{u}(0,\mathbf{x})=\varphi (\mathbf{x}·\mathbf{e})+\mathbf{v}(0,\mathbf{x})$$

with some $\mathbf{v}:\mathbb{R}\times {\mathbb{R}}^d\to {\mathbb{R}}^n$ from an appropriate function space.

Note that under the first type of perturbation, the problem is indeed very similar to [11], except that the spatial variables are multidimensional. Thus, we focus here on the stability of the steady state of the front of system (4) under the second type of perturbation. The main advance of this paper compared to previous works is the extension of the result in [11] for a system of one-dimensional spatial variables to a system of multidimensional spatial variables, along with the absence of the assumption in [15] that the diffusion coefficients are the same for different system variables. Moreover, as we describe in the text, this type of equation has a special “product triangle” structure in the nonlinear reaction terms which is similar to the equations studied in the one-dimensional case from [10,11,12]; this class of nonlinear terms often appears in combustion models.

To better demonstrate how this “product triangle” structure can help to study the stability of the steady states, we begin with model case (2) for $\mathbf{u}=$${\left(u_1,u_2\right)}^T\in {\mathbb{R}}^2$; in the moving coordinates $\mathbf{x}=(z,x_2,...,x_d)$, this system becomes

$${\mathbf{u}}_t(t,\mathbf{x})=\left(\begin{array}{cc}1& 0\\ 0& ϵ\end{array}\right){\Delta }_{\mathbf{x}}\mathbf{u}(t,\mathbf{x})+c(\mathbf{e}·{\nabla }_{\mathbf{x}})\mathbf{u}(t,\mathbf{x})+f\left(\mathbf{u}(t,\mathbf{x})\right),$$

(5)

where $f\left(\mathbf{u}(t,\mathbf{x})\right)=\left(\begin{array}{c}{f}_1(u_1,u_2)\\ f_2(u_1,u_2)\end{array}\right)=\left(\begin{array}{c}{u}_2(t,\mathbf{x})g\left(u_1(t,\mathbf{x})\right)\\ -\kappa u_2(t,\mathbf{x})g\left(u_1(t,\mathbf{x})\right)\end{array}\right)$.

According to the discussion presented earlier, a front solution $\varphi =\varphi \left(z\right)$ is t-independent and approaches the constant states ${\mathbf{u}}_{+}$ and ${\mathbf{u}}_{-}$ as $z\to \pm \infty$. System (5) has two types of steady state solutions: one when $u_1\left(\mathbf{x}\right)$ equals a real constant and $u_2\left(\mathbf{x}\right)=0$, and the other when $u_1\left(\mathbf{x}\right)=0$ and $u_2\left(\mathbf{x}\right)$ is equal to a real constant. In particular, we can choose $u_1=1/\kappa ,u_2=0$, which is the equilibrium corresponding to the completely burned reactants located behind the front, and $u_1=0,u_2=1$, corresponding to the unburned substances. In other words, we choose ${\mathbf{u}}_{-}=(1/\kappa ,0)$ and ${\mathbf{u}}_{+}=(0,1)$. For a more detailed explanation of why ${\mathbf{u}}_{-}$ and ${\mathbf{u}}_{+}$ are chosen in this way, see [10] and Remark 1.

Here, we discuss in detail only the stability of ${\mathbf{u}}_{-}$, as the stability of ${\mathbf{u}}_{+}$ can be proven in precisely the same manner. We investigate perturbations of the state ${\mathbf{u}}_{-}=(1/\kappa ,0)$ that depend on all spatial variables of the system, that is, we consider the solutions $\mathbf{u}(t,\mathbf{x})={\mathbf{u}}_{-}+\mathbf{v}(t,\mathbf{x})$ of (5) with the initial conditions

$$\mathbf{u}(0,\mathbf{x})={\mathbf{u}}_{-}+\mathbf{v}(0,\mathbf{x}),$$

where $\mathbf{v}=(v_1,v_2):{\mathbb{R}}_{+}\times {\mathbb{R}}^d\to {\mathbb{R}}^2$ is taken from an appropriate function space. Substituting $\mathbf{u}(t,\mathbf{x})={\mathbf{u}}_{-}+\mathbf{v}(t,\mathbf{x})$ into system (5), we have

$${\mathbf{v}}_t(t,x)=\left(\begin{array}{cc}1& 0\\ 0& ϵ\end{array}\right){\Delta }_{\mathbf{x}}\mathbf{v}(t,\mathbf{x})+c{\partial }_z\mathbf{v}(t,\mathbf{x})+f({\mathbf{u}}_{-}+\mathbf{v}(t,\mathbf{x})).$$

(6)

Linearizing the nonlinearity $f({\mathbf{u}}_{-}+\mathbf{v}(t,\mathbf{x}))$ at ${\mathbf{u}}_{-}=(1/\kappa ,0)$ provides

$$\begin{array}{cc}\hfill f({\mathbf{u}}_{-}+\mathbf{v}(t,\mathbf{x}))& =f\left({\mathbf{u}}_{-}\right)+{\partial }_{\mathbf{u}}f\left({\mathbf{u}}_{-}\right)\mathbf{v}(t,\mathbf{x})+H\left(\mathbf{v}(t,\mathbf{x})\right)\hfill \\ \hfill & =\left(\begin{array}{c}0\\ 0\end{array}\right)+\left(\begin{array}{cc}0& e^{-\kappa }\\ 0& -\kappa e^{-\kappa }\end{array}\right)\left(\begin{array}{c}{v}_1(t,\mathbf{x})\\ v_2(t,\mathbf{x})\end{array}\right)+H\left(\mathbf{v}(t,\mathbf{x})\right),\hfill \end{array}$$

where we introduce the nonlinear term by

$$H\left(\mathbf{v}(t,\mathbf{x})\right)=f({\mathbf{u}}_{-}+\mathbf{v}(t,\mathbf{x}))-f\left({\mathbf{u}}_{-}\right)-{\partial }_{\mathbf{u}}f\left({\mathbf{u}}_{-}\right)\mathbf{v}(t,\mathbf{x}).$$

(7)

Therefore, we have the following semi-linear equation for the perturbations of state ${\mathbf{u}}_{-}$:

$${\mathbf{v}}_t(t,\mathbf{x})=\left(\begin{array}{cc}1& 0\\ 0& ϵ\end{array}\right){\Delta }_{\mathbf{x}}\mathbf{v}(t,\mathbf{x})+c{\partial }_z\mathbf{v}(t,\mathbf{x})+\left(\begin{array}{cc}0& e^{-\kappa }\\ 0& -\kappa e^{-\kappa }\end{array}\right)\mathbf{v}(t,\mathbf{x})+H\left(\mathbf{v}(t,\mathbf{x})\right).$$

(8)

We show that the spectrum of the linear operator in (8) touches the imaginary axis in Section 3, meaning that the weight function needs to be introduced in order to further investigate the stability of the system under perturbations.

For ${\mathcal{E}}_0$, being the Sobolev spaces $H^k\left({\mathbb{R}}^d\right)\left(k=1,2,\dots \right.$, and we often define $H^0\left({\mathbb{R}}^d\right)=$$L^2\left({\mathbb{R}}^d\right)$ ), which are suited for the study of nonlinear stability because they are closed under multiplication, we denote the norm in ${\mathcal{E}}_0$ by ${\parallel ·\parallel }_0$. Furthermore, we define the weight function of class $\alpha \in \mathbb{R}$ by

$$\gamma \left(\mathbf{x}\right)={\gamma }_{\alpha }\left(z,x_2,\dots ,x_d\right)=e^{\alpha }z,\mathrm{for}\mathbf{x}=\left(z,x_2,\dots ,x_d\right)\in {\mathbb{R}}^d.$$

For a fixed weight function ${\gamma }_{\alpha }$, we define ${\mathcal{E}}_{\alpha }=\left\{u:{\gamma }_{\alpha }u\in {\mathcal{E}}_0\right\}$ with the norm ${\parallel u\parallel }_{\alpha }={∥{\gamma }_{\alpha }u∥}_0$. Note that ${\mathcal{E}}_{\alpha }=H_{\alpha }^k\left(\mathbb{R}\right)\otimes H^k\left({\mathbb{R}}^{d-1}\right)$ by this definition. Here and below, we use the fact that $H^k\left({\mathbb{R}}^d\right)$ can be written as the tensor product $H^k\left({\mathbb{R}}^d\right)=H^k\left(\mathbb{R}\right)\otimes$$H^k\left({\mathbb{R}}^{d-1}\right)$. For general results on tensor products and operators on tensor products, refer to [16] (Volume I, Section VIII.10). For ease of notation, we use $H_{\alpha }^k\left({\mathbb{R}}^d\right)=\left\{u:e^{\alpha z}u\in H^k\left({\mathbb{R}}^d\right)\right\}$ to denote the weighted Sobolev space.

Although this weighted functional space solves the problem of the spectral instability of the linear operator, it poses a new difficulty in that the nonlinear terms cannot be controlled in the weighted space. Hence, we introduce a new space using the approach originally proposed in [8] in the context of the Hamiltonian:

$$\mathcal{E}:={\mathcal{E}}_0\cap {\mathcal{E}}_{\alpha },\mathrm{with}{\parallel u\parallel }_{\mathcal{E}}=max\left\{{\parallel u\parallel }_0,{\parallel u\parallel }_{\alpha }\right\}.$$

(9)

We prove the following theorem at the end of Section 3. Specifically, when considered in coordinates moving with fronts, we can show that the steady state of a nonlinear model problem with the form (5) is asymptotically stable in an orbital sense in a carefully chosen exponentially weighted space, i.e., the solution near the steady state converges exponentially to the steady state solution itself in the weighted norm as long as the initial perturbation is sufficiently small in both the weighted and unweighted norm.

Finally, in Section 4, we summarize a number of key features of the system used in the model problem (2), then generalize them into hypotheses; thus, for the general system (1), we can prove the stability of the steady state of a traveling front when it satisfies these hypotheses. Moreover, these hypotheses are often very common in reaction–diffusion systems associated with combustion problems.

Remark 1.

To conclude this section, we explain why the end states ${\mathbf{u}}_{-}$ and ${\mathbf{u}}_{+}$ were chosen as ${\mathbf{u}}_{-}=(1/\kappa ,0)$ and ${\mathbf{u}}_{+}=(0,1)$ for the model system

$$\left\{\begin{array}{c}{u}_{1t}(t,\mathbf{x})={\partial }_{zz}{u}_1(t,\mathbf{x})+c{\partial }_z{u}_1+u_2(t,\mathbf{x})g\left(u_1(t,\mathbf{x})\right),u_1,u_2\in \mathbb{R},\hfill \\ u_{2t}(t,\mathbf{x})=ϵ{\partial }_{zz}{u}_2(t,\mathbf{x})+c{\partial }_z{u}_2-\kappa u_2(t,\mathbf{x})g\left(u_1(t,\mathbf{x})\right),\mathbf{x}\in {\mathbb{R}}^d,\hfill \end{array}\right.$$

(10)

where g is defined in (3).

Let $\mathsf{\Phi }=({\varphi }_1,{\varphi }_2)$ be a time-independent solution of the model system such that Φ satisfies the ODE system

$$\left\{\begin{array}{c}{\partial }_{zz}{\varphi }_1\left(\mathbf{x}\right)+c{\partial }_z{\varphi }_1+{\varphi }_2\left(\mathbf{x}\right)g\left({\varphi }_1\left(\mathbf{x}\right)\right)=0,\hfill \\ ϵ{\partial }_{zz}{\varphi }_2\left(\mathbf{x}\right)+c{\partial }_z{\varphi }_2-\kappa {\varphi }_2\left(\mathbf{x}\right)g\left({\varphi }_1\left(\mathbf{x}\right)\right)=0.\hfill \end{array}\right.$$

(11)

Here, we are interested in solutions of (11) that satisfy the boundary conditions at $z\to \pm \infty$:

$$({\varphi }_1,{\varphi }_2)(-\infty )=({\varphi }_1^{🟉},0),({\varphi }_1,{\varphi }_2)(\infty )=(0,1).$$

Such solutions represent traveling combustion fronts. Here, the left temperature ${\varphi }_1^{🟉}$ is an unknown to be determined.

In the ODE system (11), we set ${\varphi }_3={\partial }_z{\varphi }_1$ and ${\varphi }_4={\partial }_z{\varphi }_2$, and use prime to denote the derivative with respect to z to obtain the following first-order system:

$${\varphi }_1^{\prime }={\varphi }_3,$$

(12)

$${\varphi }_2^{\prime }={\varphi }_4,$$

(13)

$${\varphi }_3^{\prime }=-(c{\varphi }_3+{\varphi }_{2}g\left({\varphi }_1\right)),$$

(14)

$${\varphi }_4^{\prime }=-\frac{1}{ϵ}[c{\varphi }_4-\kappa {\varphi }_{2}g\left({\varphi }_1\right)].$$

(15)

By adding (14) to (15) multiplied by $ϵ/\kappa$, we obtain the following equation:

$${\varphi }_1^{″}+c{\varphi }_1^{\prime }+\frac{ϵ}{\kappa }{\varphi }_2^{″}+\frac{c}{\kappa }{\varphi }_2^{\prime }=0.$$

(16)

This expression can be integrated once to produce a function of z that is constant along any traveling wave. We denote this constant by k, meaning that

$${\varphi }_3+c{\varphi }_1+\frac{ϵ}{\kappa }{\varphi }_4+\frac{c}{\kappa }{\varphi }_2=constant:=k.$$

(17)

For the solution that approaches $({\varphi }_1,{\varphi }_2,{\varphi }_3,{\varphi }_4)=(0,1,0,0)$ as $z\to \infty$, we must have $k=\frac{c}{\kappa }.$ Substituting $k=\frac{c}{\kappa }$ into Equation (17), we have

$${\varphi }_3=-c{\varphi }_1-\frac{ϵ}{\kappa }{\varphi }_4-\frac{c}{\kappa }{\varphi }_2+\frac{c}{\kappa }\to 0,{\varphi }_1\to {\varphi }_1^{*},{\varphi }_2\to 0\mathit{and}{\varphi }_4\to 0\mathrm{as}z\to -\infty$$

(18)

as the steady solution of the system (12)–(15) approaches $({\varphi }_1,{\varphi }_2,{\varphi }_3,{\varphi }_4)=({\varphi }_1^{🟉},0,0,0)$, because $z\to -\infty$. Thus, we necessarily have ${\varphi }_1^{🟉}=\frac{1}{\kappa }$.

3. Stability of the Steady States for the Model Case

In this section, we study the stability of the state ${\mathbf{u}}_{-}$ of systems of the model problem (2). This section is organized as follows. We study the spectrum of the operator generated by linearizing (5) with respect to the state in both unweighted and weighted spaces in Section 3.1. The Lipschitz property of the nonlinear term $H\left(\mathbf{v}\right(t,\mathbf{x}\left)\right)$ is shown in Section 3.2, and the stability of the steady-state solution ${\mathbf{u}}_{-}$ is proven in Section 3.3 and Section 3.4.

3.1. The Setting in the Model Case

Information about the stability of the steady state of system (5) is often disclosed by the information about the spectrum of the linear operator obtained by linearizing (5) with respect to the steady state. Therefore, we first define the linear differential expression in (8) by L:

$$L=\left(\begin{array}{cc}1& 0\\ 0& ϵ\end{array}\right){\Delta }_{\mathbf{x}}+c{\partial }_z+\left(\begin{array}{cc}0& e^{-\kappa }\\ 0& -\kappa e^{-\kappa }\end{array}\right).$$

(19)

We consider a differential operator $\mathcal{L}$ associated with the differential expression L in the Sobolev space $H^k{\left({\mathbb{R}}^d\right)}^2$ of vector-valued functions, and throughout we assume that $k\ge \left[{\displaystyle \frac{d+1}{2}}\right]$.

Definition 1

([17]). In work on viscous conservation laws and related equations, a traveling wave is called spectrally stable in $\mathcal{X}$ if the spectrum of $\mathcal{L}$ is contained in $\{\lambda :Re\lambda <0\}\cup \left\{0\right\}$ and 0 is a simple eigenvalue of $\mathcal{L}.$

As shown below, the essential spectrum of $\mathcal{L}$ touches the imaginary axis. This prevents ${\mathbf{u}}_{-}$ from being stable in the space $H^k{\left({\mathbb{R}}^d\right)}^2$, meaning that we have to replace this space by the weighted space $H_{\alpha }^k{\left({\mathbb{R}}^d\right)}^2$, which has an exponential weight with respect to the variable z. In this new space, the nonlinearity loses the local Lipschitz property needed to determine the well-posedness of (8). To regain this, as in [10,11,12,15], we move on to the intersection space $H^k{\left({\mathbb{R}}^d\right)}^2\cap H_{\alpha }^k{\left({\mathbb{R}}^d\right)}^2$ to perform further analysis.

Remark 2.

We first need information about the spectra of the linear operators associated with (19), which involves several operators in the different spaces considered below. We use the following notation for these operators. If B is a general $(2\times 2)$ system of n differential expressions, for instance, as in (19), then we use the notation $\mathcal{B}:{\mathcal{E}}_0^2\to {\mathcal{E}}_0^2$ and ${\mathcal{B}}_{\alpha }:{\mathcal{E}}_{\alpha }^2\to {\mathcal{E}}_{\alpha }^2$ to denote the linear operator in ${\mathcal{E}}_0^2$ and ${\mathcal{E}}_{\alpha }^2$, respectively, as provided by the formula $u\to Bu$, with their natural domains. That is, for $k=0,1,\cdots$, we use $\mathcal{L}:{\mathcal{E}}_0^2\to {\mathcal{E}}_0^2$ to denote the linear operator provided by the formula $u\mapsto Lu$, for which the domain is $H^{k+2}{\left({\mathbb{R}}^d\right)}^2$. We use ${\mathcal{L}}_{\alpha }:{\mathcal{E}}_{\alpha }^2\to {\mathcal{E}}_{\alpha }^2$ to denote the operator in ${\mathcal{E}}_{\alpha }^2$ provided by the formula $u\mapsto Lu$, for which the domain is the set of $(u_1,u_2)$, where ${\gamma }_{\alpha }{u}_1,{\gamma }_{\alpha }{u}_2\in H^{k+2}\left({\mathbb{R}}^d\right)$. We use the notation ${\mathcal{L}}_{\mathcal{E}}:{\mathcal{E}}^2\to {\mathcal{E}}^2$ to denote the linear operator provided by $u\to Lu$, with the domain of ${\mathcal{L}}_{\mathcal{E}}$ being the set of $(u_1,u_2)$ satisfying $(u_1,u_2)\in dom\left(\mathcal{L}\right)\cap dom\left({\mathcal{L}}_{\alpha }\right)$, where $dom\left(\mathcal{L}\right)$ and $dom\left({\mathcal{L}}_{\alpha }\right)$ are the respective domains defined above.

First, we use Fourier transform to explore the spectrum of the constant coefficient differential operator $\mathcal{L}$ on $L^2{\left({\mathbb{R}}^d\right)}^2$ and the spectrum of the constant coefficient differential operator ${\mathcal{L}}_{\alpha }$ on ${(L_{\alpha }^2\left(\mathbb{R}\right)\otimes L^2\left({\mathbb{R}}^{d-1}\right))}^2$, respectively. We use the following elementary proposition to show that the spectrum of $\mathcal{L}$ on ${\mathcal{E}}_0^2$ touches the imaginary axis and that the spectrum of ${\mathcal{L}}_{\alpha }$ on ${\mathcal{E}}_{\alpha }^2$ is away from the imaginary axis.

Proposition 1.

Assume that $\mathcal{L}$ and ${\mathcal{L}}_{\alpha }$ are the constant coefficient linear differential operators associated with the differential expression L in (19). On the unweighted space ${\mathcal{E}}_0^2=H^k{\left({\mathbb{R}}^d\right)}^2$ for all integers $k\ge 0$, we have

$$sup\{Re\lambda :\lambda \in Sp(\mathcal{L}\left)\right\}=0,$$

meaninf that the spectrum of $\mathcal{L}$ touches the imaginary axis. By choosing $\alpha \in (0,c/2)$, we have

$$sup\{Re\lambda :\lambda \in Sp\left({\mathcal{L}}_{\alpha }\right)\}<-\nu$$

for some $\nu >0$, meaning that the spectrum of ${\mathcal{L}}_{\alpha }$ is shifted to the left of the imaginary axis on the weighted space ${\mathcal{E}}_{\alpha }^2={(H_{\alpha }^k\left(\mathbb{R}\right)\otimes H^k\left({\mathbb{R}}^{d-1}\right))}^2$.

Furthermore, there exists $K>0$ such that ${∥e^{t{\mathcal{L}}_{\alpha }}∥}_{{\mathcal{E}}_{\alpha }^2\to {\mathcal{E}}_{\alpha }^2}⩽K{e}^{-\nu t}$ for $t⩾0$.

Proof. 

By Lemma 1, as proved below, it is enough to consider the case $k=0$, that is, to assume that ${\mathcal{E}}_0=L^2\left({\mathbb{R}}^d\right)$. To find $Sp\left(\mathcal{L}\right)$ in the unweighted space ${\mathcal{E}}_0^2$, we can use Fourier transform. From the properties of the Fourier transform (see, e.g., [18], Section 6.5), the operator $\mathcal{L}$ on $L^2{\left({\mathbb{R}}^d\right)}^2$ is similar to the operator on $L^2{\left({\mathbb{R}}^d\right)}^2$ when multiplying by the matrix-valued function

$$M\left(\xi \right)=-({\xi }_1^2+{\xi }_2^2+\cdots +{\xi }_d^2)\left(\begin{array}{cc}1& 0\\ 0& ϵ\end{array}\right)+i{\xi }_{1}c\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)+\left(\begin{array}{cc}0& e^{-\kappa }\\ 0& -\kappa e^{-\kappa }\end{array}\right),$$

(20)

where $\xi =({\xi }_1,...,{\xi }_d)\in {\mathbb{R}}^d$. Thus, the spectrum of $\mathcal{L}$ on $L^2{\left({\mathbb{R}}^d\right)}^2$ is the closure of the union over $\xi \in {\mathbb{R}}^d$ of the spectra of the matrices $M\left(\xi \right)$. Hence, the spectrum of $\mathcal{L}$ is equal to the closure of the set of $\lambda \in \mathbb{C}$ for which there exists $\xi \in {\mathbb{R}}^d$ such that

$$\begin{array}{cc}\hfill det\left(M\left(\xi \right)-\lambda I\right)& =det\left(-({\xi }_1^2+{\xi }_2^2+\cdots +{\xi }_d^2)\left(\begin{array}{cc}1& 0\\ 0& ϵ\end{array}\right)+i{\xi }_{1}cI+\left(\begin{array}{cc}0& e^{-\kappa }\\ 0& -\kappa e^{-\kappa }\end{array}\right)\right)\hfill \\ \hfill & =0.\hfill \end{array}$$

This is a collection of curves $\lambda =\lambda \left(\xi \right)$, where $\lambda \left(\xi \right)$ are the eigenvalues of the matrices $M\left(\xi \right)$; thus, the spectrum of the operator $\mathcal{L}$ is

$$\begin{array}{cc}\hfill Sp\left(\mathcal{L}\right)& {\displaystyle =\underset{\xi \in {\mathbb{R}}^d}{\cup }Sp\left(\begin{array}{cc}-({\xi }_1^2+\cdots +{\xi }_d^2)+ci{\xi }_1& e^{-\kappa }\\ 0& -ϵ({\xi }_1^2+\cdots +{\xi }_d^2)+ci{\xi }_1-\kappa e^{-\kappa }\end{array}\right)}\hfill \\ \hfill & {\displaystyle =\underset{\xi \in {\mathbb{R}}^d}{\cup }(-({\xi }_1^2+\cdots +{\xi }_d^2)+ci{\xi }_1)\bigcup \underset{\xi \in {\mathbb{R}}^d}{\cup }(-ϵ({\xi }_1^2+\cdots +{\xi }_d^2)+ci{\xi }_1-\kappa e^{-\kappa }).}\hfill \end{array}$$

(21)

This implies that the spectrum of $\mathcal{L}$ in $L^2{\left({\mathbb{R}}^d\right)}^2$ touches the imaginary axis when $\xi =({\xi }_1,...,{\xi }_d)=(0,...,0)$.

We now need $Sp\left({\mathcal{L}}_{\alpha }\right)$ on the weighted space ${\mathcal{E}}_{\alpha }^2$. First, we define the linear map $N:{\mathcal{E}}_{\alpha }\mapsto {\mathcal{E}}_0$ provided by $Nv={\gamma }_{\alpha }v$; note that, by definition, N is an isomorphism of ${\mathcal{E}}_{\alpha }$ on ${\mathcal{E}}_0$. In particular, we can define a linear operator $\widehat{\mathcal{L}}=N{\mathcal{L}}_{\alpha }{N}^{-1}$ on ${\mathcal{E}}_0^2=L^2{\left({\mathbb{R}}^d\right)}^2$ with the domain $dom\left(\widehat{\mathcal{L}}\right)=H^2{\left({\mathbb{R}}^d\right)}^2$, as $N^{-1}$ maps $dom\left(\widehat{\mathcal{L}}\right)$ in $dom\left({\mathcal{L}}_{\alpha }\right)$. As the operator $\widehat{\mathcal{L}}$ is similar to ${\mathcal{L}}_{\alpha }$ on ${\mathcal{E}}_{\alpha }^2$, it has the same spectrum.

In particular, let us consider the operator ${\partial }_{z,\alpha }$ on ${\mathcal{E}}_{\alpha }$ with

$$dom\left({\partial }_{z,\alpha }\right)=H_{\alpha }^1\left(\mathbb{R}\right)\otimes H^1\left({\mathbb{R}}^{d-1}\right).$$

Fix any $v\in H^1\left({\mathbb{R}}^d\right)=dom\left(\widehat{{\partial }_z}\right)$ when $\widehat{{\partial }_z}$ is considered in $L^2\left({\mathbb{R}}^d\right)$ and $\widehat{{\partial }_z}=N{\partial }_{z,\alpha }{N}^{-1}$. Then, temporarily re-denoting ${\gamma }_{\alpha }\left(z\right)=e^{\alpha z}$, we have

$$\begin{array}{cc}\hfill \partial v=N{\partial }_{z,\alpha }{N}^{-1}v& ={\gamma }_{\alpha }{\partial }_z\left({\gamma }_{-\alpha }v\right)={\gamma }_{\alpha }({\gamma }_{-\alpha }^{\prime }v+{\gamma }_{-\alpha }{\partial }_{z}v)\hfill \\ \hfill & ={\gamma }_{\alpha }(-\alpha {\gamma }_{-\alpha }v+{\gamma }_{-\alpha }{\partial }_{z}v)\hfill \\ \hfill & =({\partial }_z-\alpha )v.\hfill \end{array}$$

Denoting $y=(x_2,...,x_d)$, $\mathbf{x}=(z,y)\in {\mathbb{R}}^d$; a similar computation shows that for each

$$\mathbf{v}={(v_1,v_2)}^T\in dom\widehat{\mathcal{L}}=H^2{\left({\mathbb{R}}^d\right)}^2\subset L^2{\left({\mathbb{R}}^d\right)}^2,$$

we have

$$\begin{array}{cc}\hfill \widehat{\mathcal{L}}\mathbf{v}=& e^{\alpha z}\left(\left(\begin{array}{cc}1& 0\\ 0& ϵ\end{array}\right)({\Delta }_y+{\partial }_{zz})+c{\partial }_z+\left(\begin{array}{cc}0& e^{-\kappa }\\ 0& -\kappa e^{-\kappa }\end{array}\right)\right)\left(e^{-\alpha z}\mathbf{v}\right)\hfill \\ \hfill =& \left(\begin{array}{cc}1& 0\\ 0& ϵ\end{array}\right){\Delta }_y\mathbf{v}+\left(\begin{array}{cc}1& 0\\ 0& ϵ\end{array}\right)({\alpha }^2\mathbf{v}-2\alpha {\partial }_z\mathbf{v}+{\partial }_{zz}\mathbf{v})+c({\partial }_z\mathbf{v}-\alpha \mathbf{v})+\left(\begin{array}{cc}0& e^{-\kappa }\\ 0& -\kappa e^{-\kappa }\end{array}\right)\mathbf{v}\hfill \\ \hfill =& \left(\begin{array}{cc}1& 0\\ 0& ϵ\end{array}\right){\Delta }_{\mathbf{x}}\mathbf{v}+\left(cI-2\alpha \left(\begin{array}{cc}1& 0\\ 0& ϵ\end{array}\right)\right){\partial }_z\mathbf{v}+\left({\alpha }^2\left(\begin{array}{cc}1& 0\\ 0& ϵ\end{array}\right)-c\alpha I+\left(\begin{array}{cc}0& e^{-\kappa }\\ 0& -\kappa e^{-\kappa }\end{array}\right)\right)\mathbf{v}.\hfill \end{array}$$

Via Fourier transform, the operator $\widehat{\mathcal{L}}$ on $L^2{\left({\mathbb{R}}^d\right)}^2$ is similar to the operator of multiplication on $L^2{\left({\mathbb{R}}^d\right)}^2$ by the matrix-valued function

$$\begin{array}{cc}\hfill N\left(\xi \right)& =-{\parallel \xi \parallel }^2\left(\begin{array}{cc}1& 0\\ 0& ϵ\end{array}\right)+(i{\xi }_{1}c-\alpha c)I+({\alpha }^2-2i{\xi }_1\alpha )\left(\begin{array}{cc}1& 0\\ 0& ϵ\end{array}\right)+\left(\begin{array}{cc}0& e^{-\kappa }\\ 0& -\kappa e^{-\kappa }\end{array}\right)\hfill \\ \hfill & =\left(\begin{array}{cc}-{\parallel \xi \parallel }^2+(c-2\alpha )i{\xi }_1+{\alpha }^2-\alpha c& e^{-\kappa }\\ 0& -{ϵ\parallel \xi \parallel }^2+(c-2\alpha ϵ)i{\xi }_1+{\alpha }^2ϵ-c\alpha -\kappa e^{-\kappa }\end{array}\right)\hfill \end{array}$$

where ${\parallel \xi \parallel }^2={\xi }_1^2+\cdots +{\xi }_d^2$. Hence,

$$\begin{array}{cc}\hfill Sp\left({\mathcal{L}}_{\alpha }\right)& {\displaystyle =\underset{\xi \in {\mathbb{R}}^d}{\cup }(-({\xi }_1^2+\cdots +{\xi }_d^2)+(c-2\alpha )i{\xi }_1+{\alpha }^2-c\alpha )}\hfill \\ \hfill & {\displaystyle \bigcup \underset{\xi \in {\mathbb{R}}^d}{\cup }(-ϵ({\xi }_1^2+\cdots +{\xi }_d^2)+(c-2\alpha ϵ)i{\xi }_1+{\alpha }^2ϵ-c\alpha -\kappa e^{-\kappa }).}\hfill \end{array}$$

(22)

Then,

$$\begin{array}{cc}\hfill sup\{Re\lambda :\lambda \in Sp\left({\mathcal{L}}_{\alpha }\right)\}& =sup\{Re\lambda :\lambda \in Sp\left(\widehat{\mathcal{L}}\right)\}\hfill \\ \hfill & =max({\alpha }^2-c\alpha ,ϵ{\alpha }^2-c\alpha -\kappa e^{-\kappa })\hfill \\ \hfill & ={\alpha }^2-c\alpha .\hfill \end{array}$$

Thus, we conclude that for $\alpha \in (0,c/2)$, we have $sup\{Re\lambda :\lambda \in Sp\left({\mathcal{L}}_{\alpha }\right)\}<0$, meaning that the spectrum $Sp\left({\mathcal{L}}_{\alpha }\right)$ on the weighted space ${\mathcal{E}}_{\alpha }^2$ is moved to the left of the imaginary axis.

Furthermore, the operator ${\mathcal{L}}_{\alpha }$ associated with the differential expression L in (19) generates an analytic semigroup provided that $ϵ>0$, and a strongly continuous semigroup provided that $ϵ=0$. As shown in [10], in either case $\mathcal{L}$ enjoys the spectral mapping property, that is, the boundary of the spectrum of the semigroup operator $e^{t{\mathcal{L}}_{\alpha }}$ is controlled by the boundary of the spectrum of the semigroup generator ${\mathcal{L}}_{\alpha }$ for any $ϵ⩾0$. Then, by the above-mentioned semigroup property (see, e.g., [10] Proposition 4.3), there exists $K>0$ such that ${∥e^{t{\mathcal{L}}_{\alpha }}∥}_{{\mathcal{E}}_{\alpha }^2\to {\mathcal{E}}_{\alpha }^2}⩽K{e}^{-\nu t}.$ □

Lemma 1.

The linear constant coefficient differential operator $\mathcal{L}$ associated with L defined in (19) has the same spectrum on $L^2{\left({\mathbb{R}}^d\right)}^2$ and on $H^k{\left({\mathbb{R}}^d\right)}^2$ for all integers $k>0$; similarly, the operator ${\mathcal{L}}_{\alpha }$ associated with L defined in (19) has the same spectrum on ${(L_{\alpha }^2\left(\mathbb{R}\right)\otimes L^2\left({\mathbb{R}}^{d-1}\right))}^2$ and on ${(H_{\alpha }^k\left(\mathbb{R}\right)\otimes H^k\left({\mathbb{R}}^{d-1}\right))}^2$ for all integers $k>0$.

Proof. 

To show that the spectrum of $\mathcal{L}$ in $H^k{\left({\mathbb{R}}^d\right)}^2$ is the same as the spectrum of $L^2{\left({\mathbb{R}}^d\right)}^2$, we let ${\mathcal{F}}_1$ denote the Fourier transform acting from $H^k{\left({\mathbb{R}}^d\right)}^2$ into $L_m^2{\left({\mathbb{R}}^d\right)}^2$, where $L_m^2{\left({\mathbb{R}}^d\right)}^2$ is the weighted $L^2$-space with the standard weight $m\left(\xi \right)={(1+|\xi |}_{{\mathbb{R}}^d}^2{)}^{k/2}$. By the standard property of the Fourier transform, we have ${\mathcal{F}}_1{\Delta }_x=-{\left|\xi \right|}_{{\mathbb{R}}^d}^2{\mathcal{F}}_1$ and ${\mathcal{F}}_1{\partial }_z=-i{\xi }_1{\mathcal{F}}_1$. Thus, ${\mathcal{F}}_1\mathcal{L}=M{\mathcal{F}}_1$ for a matrix-valued function $M=M\left(\xi \right)$ obtained from (19) by replacing ${\Delta }_x$ by $-{\left|\xi \right|}_{{\mathbb{R}}^d}^2$ and ${\partial }_z$ by $-i{\xi }_1$.

On the other hand, the operator of multiplication by $m(·)$ is an isomorphism of $L_m^2{\left({\mathbb{R}}^d\right)}^2$ onto $L^2{\left({\mathbb{R}}^d\right)}^2$. Let us denote by ${\mathcal{L}}_{H^k}$ the operator $\mathcal{L}$ associated with L on the space $H^k{\left({\mathbb{R}}^d\right)}^2$ and by ${\mathcal{L}}_{L^2}$ the operator $\mathcal{L}$ associated with L on the space $L^2{\left({\mathbb{R}}^d\right)}^2$. Per the previous paragraph, we then have $m{\mathcal{F}}_1{\mathcal{L}}_{H^k}=Mm{\mathcal{F}}_1$. Here and below we use a slight abbreviation of this notation; properly written, $u\in dom\left({\mathcal{L}}_{H^k}\right)$ implies $m{\mathcal{F}}_{1}u\in dom\left(M\right)$ and $m{\mathcal{F}}_1{\mathcal{L}}_{H^k}u=Mm{\mathcal{F}}_{1}u$ for all $u\in dom\left({\mathcal{L}}_{H^k}\right)$.

We remark that the operator of multiplication by $-i{\xi }_j$, $j=1,...,d$ on $L^2\left({\mathbb{R}}^d\right)$ is similar to the operator of differentiation ${\partial }_{x_j}$ on $L^2\left({\mathbb{R}}^d\right)$ via Fourier transform ${\mathcal{F}}_2$. This implies that ${\mathcal{F}}_2{\mathcal{L}}_{L^2}=M{\mathcal{F}}_2$ with the same matrix-valued function M as above. It follows that

$${\mathcal{L}}_{H^k}={\left(m{\mathcal{F}}_1\right)}^{-1}Mm{\mathcal{F}}_1={\left(m{\mathcal{F}}_1\right)}^{-1}\left({\mathcal{F}}_2{\mathcal{L}}_{L^2}{\mathcal{F}}_2^{-1}\right)\left(m{\mathcal{F}}_1\right);$$

(23)

therefore, the spectrum of $\mathcal{L}$ on $H^k{\left({\mathbb{R}}^d\right)}^2$ is the same as the spectrum of $\mathcal{L}$ on $L^2{\left({\mathbb{R}}^d\right)}^2$, as the operators on $H^k{\left({\mathbb{R}}^d\right)}^2$ and $L^2{\left({\mathbb{R}}^d\right)}^2$ are similar.

By analogous argument, the spectrum of ${\mathcal{L}}_{\alpha }$ on ${(L_{\alpha }^2\left(\mathbb{R}\right)\otimes L^2\left({\mathbb{R}}^{d-1}\right))}^2$ is the same as the spectrum of ${\mathcal{L}}_{\alpha }$ on ${(H_{\alpha }^k\left(\mathbb{R}\right)\otimes H^k\left({\mathbb{R}}^{d-1}\right))}^2$. □

Remark 3.

Recall that we denote $y=(x_2,...,x_d)$. Let ${\Delta }_y$ be the operator provided by the differential expression ${\partial }_{x_2}^2+\cdots +{\partial }_{x_d}^2$, where the domain of ${\Delta }_y$ on $H^k\left({\mathbb{R}}^{d-1}\right)$ is the set of u such that $u\in H^{k+2}\left({\mathbb{R}}^{d-1}\right)$. We denote by ${\mathcal{L}}_1:H^k{\left(\mathbb{R}\right)}^2\to H^k{\left(\mathbb{R}\right)}^2$ and ${\mathcal{L}}_{1,\alpha }:H_{\alpha }^k{\left(\mathbb{R}\right)}^2\to H_{\alpha }^k{\left(\mathbb{R}\right)}^2$ respectively the operators provided by the differential expression $\left(\begin{array}{cc}1& 0\\ 0& ϵ\end{array}\right){\partial }_{zz}+c{\partial }_z+\left(\begin{array}{cc}0& e^{-\kappa }\\ 0& -\kappa e^{-\kappa }\end{array}\right)$ acting on unweighted and weighted spaces. The operator ${\mathcal{L}}_{\alpha }$ on ${\mathcal{E}}_{\alpha }^2={(H_{\alpha }^k\left(\mathbb{R}\right)\otimes H^k\left({\mathbb{R}}^{d-1}\right))}^2$ can be written as ${\mathcal{L}}_{1,\alpha }\otimes I_{H^k\left({\mathbb{R}}^{d-1}\right)}+I_{H_{\alpha }^k\left(\mathbb{R}\right)}\otimes {\Delta }_y$. We have yet another approach to prove Propositon 1 using [16] (Volume IV, Theorem XIII.34, Theorem XIII.35, and Corollary 1). Indeed, because ${\mathcal{L}}_{1,\alpha }$ and ${\Delta }_y$ are the generators of bounded semigroups on $H_{\alpha }^k{\left(\mathbb{R}\right)}^2$ and $H^k\left({\mathbb{R}}^{d-1}\right)$, respectively, we have the following (see [16], Volume IV):

$$Sp({\mathcal{L}}_{1,\alpha }\otimes I_{H^k\left({\mathbb{R}}^{d-1}\right)}+I_{H_{\alpha }^k\left(\mathbb{R}\right)}\otimes {\Delta }_y)=Sp\left({\mathcal{L}}_{1,\alpha }\right)+Sp\left({\Delta }_y\right).$$

(24)

Thus, $Sp\left({\mathcal{L}}_{\alpha }\right)=Sp\left({\mathcal{L}}_{1,\alpha }\right)+Sp\left({\Delta }_y\right)$. It is easy to see that the spectrum of ${\Delta }_y$ on $H^k\left({\mathbb{R}}^{d-1}\right)$ is the non-negative semiline $(-\infty ,0]$, and the spectrum of ${\mathcal{L}}_{1,\alpha }$ on $H_{\alpha }^k{\left(\mathbb{R}\right)}^2$ satisfies $sup\{Re\lambda :\lambda \in Sp\left({\mathcal{L}}_{1,\alpha }\right)\}<-\nu$ for some $\nu >0$; thus, Proposition 1 is proven. Moreover, the same argument shows that if Γ is the curve that bounds the spectrum of ${\mathcal{L}}_{1,\alpha }$ on the right, then $Sp\left({\mathcal{L}}_{\alpha }\right)$ is the entire solid part of the plane bounded by Γ. We use Figure 1 to illustrate the spectrum of the linear operator $\mathcal{L}$ on different spaces; in the weighted space, the spectrum is away from the imaginary axis and the operator ${\Delta }_y$ extends in a semiline to negative infinity at each point on the original spectrum.

Now, notice that the differential expression L in (19) has the following triangular structure:

$$L=\left(\begin{array}{cc}{\Delta }_{\mathbf{x}}+c{\partial }_z& e^{-\kappa }\\ 0& ϵ{\Delta }_{\mathbf{x}}+c{\partial }_z-\kappa e^{-\kappa }\end{array}\right).$$

(25)

Let

$$\begin{array}{cc}\hfill & L^{\left(1\right)}={\Delta }_{\mathbf{x}}+c{\partial }_z;\hfill \end{array}$$

(26)

$$\begin{array}{cc}\hfill & L^{\left(2\right)}=ϵ{\Delta }_{\mathbf{x}}+c{\partial }_z-\kappa e^{-\kappa },\hfill \end{array}$$

(27)

and for $i=1,2$ let ${\mathcal{L}}^{\left(i\right)}$ be the operator on $H^k\left({\mathbb{R}}^d\right)$ defined by $v_i\mapsto L^{\left(i\right)}{v}_i$ (with the domain of ${\mathcal{L}}^{\left(i\right)}$ being $H^{k+2}\left({\mathbb{R}}^d\right)$) for $k=0,1,2,...$.

Lemma 2.

Consider the operators ${\mathcal{L}}^{\left(1\right)}$ and ${\mathcal{L}}^{\left(2\right)}$ on $H^k\left({\mathbb{R}}^d\right)$ defined by the differential expressions $L^{\left(1\right)}$ and $L^{\left(2\right)}$ provided in (26) and (27).

(1) 

The operator ${\mathcal{L}}^{\left(1\right)}$ generates a bounded strongly continuous semigroup on

$H^k\left({\mathbb{R}}^d\right)$;

(2) 

The operator ${\mathcal{L}}^{\left(2\right)}$ satisfies $sup\{Re\lambda :\lambda \in Sp\left({\mathcal{L}}^{\left(2\right)}\right)\}<0$ on $H^k\left({\mathbb{R}}^d\right)$;

(3) 

The following is true on $H^k\left({\mathbb{R}}^d\right)$:

(a) 

$sup\{Re\lambda :\lambda \in Sp\left({\mathcal{L}}^{\left(1\right)}\right)\}\le 0$;

(b) 

There exist $K>0$ and $\rho >0$ such that for the strongly continuous semigroup ${\left\{e^{t{\mathcal{L}}^{\left(2\right)}}\right\}}_{t\ge 0}$ we have $\parallel e^{t{\mathcal{L}}^{\left(2\right)}}{\parallel }_{H^k\left({\mathbb{R}}^d\right)\to H^k\left({\mathbb{R}}^d\right)}\le K{e}^{-\rho t}$ for all $t\ge 0$.

Proof. 

As in Lemma 1, we can prove that the operators ${\mathcal{L}}^{\left(i\right)}$, $i=1,2$ have the same spectrum on $H^k\left({\mathbb{R}}^d\right)$ and on $L^2\left({\mathbb{R}}^d\right)$.

Using the Fourier transform, we find that the spectrum of ${\mathcal{L}}^{\left(1\right)}$ on $L^2\left({\mathbb{R}}^d\right)$ is the union of the curves ${\lambda }_1\left(\xi \right)=-({\xi }_1^2+\cdots +{\xi }_d^2)+ci{\xi }_1$ for all $\xi =({\xi }_1,...,{\xi }_d)\in {\mathbb{R}}^d$. Thus, $sup\{Re\lambda :\lambda \in Sp\left({\mathcal{L}}^{\left(1\right)}\right)\}\le 0$ on $L^2\left(\mathbb{R}\right)$, which proves (3)(a). Per the proof of Proposition A.1(1) in [11], the operator ${\mathcal{L}}^{\left(1\right)}$ generates a bounded semigroup on $L^2\left({\mathbb{R}}^d\right)$. The operators on $H^k\left({\mathbb{R}}^d\right)$ and $L^2\left({\mathbb{R}}^d\right)$ associated with the same constant–coefficient differential expression are similar (see (23)); therefore, the semigroup they generate are similar, and (1) is proved.

The spectrum of ${\mathcal{L}}^{\left(2\right)}$ on $L^2\left({\mathbb{R}}^d\right)$ is the union of the curves ${\lambda }_2\left(\xi \right)=-ϵ({\xi }_1^2+\cdots +{\xi }_d^2)+ci{\xi }_1-\kappa e^{-\kappa }$ for all $\xi =({\xi }_1,...,{\xi }_d)\in {\mathbb{R}}^d$; therefore, $sup\{Re\lambda :\lambda \in Sp\left({\mathcal{L}}^{\left(2\right)}\right)\}<0$ on $L^2\left({\mathbb{R}}^d\right)$, and per Lemma 1 on $H^k\left({\mathbb{R}}^d\right)$ as well, proving (2).

The assertion of (3)(b) is a direct consequence of (2); see [11] (Lemma 3.13). □

3.2. Nonlinear Terms in the Model Case

In this subsection, we study the nonlinear terms defined in (7) and prove that the nonlinearity is locally Lipschitz on the intersection space $\mathcal{E}$.

Recall that we introduced the nonlinear term of system (8) in Formula (7), that is,

$$\begin{array}{cc}\hfill H\left(\mathbf{v}\right(t,\mathbf{x}\left)\right)& =f({\mathbf{u}}_{-}+\mathbf{v}(t,\mathbf{x}))-f\left({\mathbf{u}}_{-}\right)-{\partial }_{\mathbf{u}}f\left({\mathbf{u}}_{-}\right)v(t,\mathbf{x})\hfill \\ \hfill & =f\left(\left(\begin{array}{c}1/\kappa +v_1\\ v_2\end{array}\right)\right)-\left(\begin{array}{c}0\\ 0\end{array}\right)-\left(\begin{array}{cc}0& e^{-\kappa }\\ 0& -\kappa e^{-\kappa }\end{array}\right)\left(\begin{array}{c}{v}_1\\ v_2\end{array}\right)\hfill \\ \hfill & =\left(\begin{array}{c}{v}_2(e^{-\frac{1}{v_1+1/\kappa }}-e^{-\kappa })\\ -\kappa v_2(e^{-\frac{1}{v_1+1/\kappa }}-e^{-\kappa })\end{array}\right).\hfill \end{array}$$

(28)

To obtain the Lipschitz property of the nonliner term on the multidimensional spaces $H^k\left({\mathbb{R}}^d\right)$ and $H_{\alpha }^k\left(\mathbb{R}\right)\otimes H^k\left({\mathbb{R}}^{d-1}\right)$, we need to use space $\mathcal{E}$ as defined in Equation (9).

It is convenient to write $H\left(\mathbf{v}\right)$ as follows:

$$H\left(\mathbf{v}\right)=\left(\begin{array}{c}1\\ -\kappa \end{array}\right)\left(g(\frac{1}{\kappa }+v_1)-g\left(\frac{1}{\kappa }\right)\right)v_2,$$

(29)

where $\mathbf{v}=(v_1,v_2)$ and $g(·)$ is defined as in (2).

The proofs below are based on the fact that Sobolev embedding yields the inequality

$${\left|\right|uv\left|\right|}_{H^k\left({\mathbb{R}}^d\right)}\le {C\left|\right|u\left|\right|}_{H^k\left({\mathbb{R}}^d\right)}{\left|\right|v\left|\right|}_{H^k\left({\mathbb{R}}^d\right)}$$

(30)

for $2k>d$; see [19] (Theorem 4.39). We begin with a few elementary facts.

Lemma 3.

Assume that $k\ge \left[\frac{d+1}{2}\right]$ and consider ${\mathcal{E}}_0=H^k\left({\mathbb{R}}^d\right)$. Then, the following assertions hold.

(1) 

If u, $v\in {\mathcal{E}}_0$, then $uv\in {\mathcal{E}}_0$, and there exists a constant $C>0$ such that ${\parallel uv\parallel }_0\le {C\parallel u\parallel }_0{\parallel v\parallel }_0$.

(2) 

If u, $v\in \mathcal{E}$, then $uv\in {\mathcal{E}}_{\alpha }$, and there exists a constant $C>0$ such that ${\parallel uv\parallel }_{\alpha }\le {C\parallel u\parallel }_0{\parallel v\parallel }_{\alpha }$.

(3) 

If u, $v\in \mathcal{E}$, then $uv\in \mathcal{E}$, and there exists a constant $C>0$ such that ${\parallel uv\parallel }_{\mathcal{E}}\le {C\parallel u\parallel }_{\mathcal{E}}{\parallel v\parallel }_{\mathcal{E}}$.

Proof. 

Assertion (1) is in fact the Sobolev embedding inequality (30). Assertion (2) can be proven using (30), as

$${\parallel uv\parallel }_{\alpha }=\parallel {\gamma }_{\alpha }{uv\parallel }_0\le {C\parallel u\parallel }_0\parallel {\gamma }_{\alpha }{v\parallel }_0={C\parallel u\parallel }_0{\parallel v\parallel }_{\alpha }.$$

To show (3), let $u,v\in \mathcal{E}$. Then, per (1),

$${\parallel uv\parallel }_0\le {C\parallel u\parallel }_0{\parallel v\parallel }_0\le {C\parallel u\parallel }_{\mathcal{E}}{\parallel v\parallel }_{\mathcal{E}},$$

and per (2),

$${\parallel uv\parallel }_{\alpha }\le {C\parallel u\parallel }_0{\parallel v\parallel }_{\alpha }\le {C\parallel u\parallel }_{\mathcal{E}}{\parallel v\parallel }_{\mathcal{E}}.$$

Therefore, $uv\in \mathcal{E}$ and ${\parallel uv\parallel }_{\mathcal{E}}\le {C\parallel u\parallel }_{\mathcal{E}}{\parallel v\parallel }_{\mathcal{E}}$. □

The nonlinearities of type (29) are a combination of the Nemytskij-type operator $v_1\mapsto g(1/\kappa +v_1)$ and multiplication operator by $v_2$. In what follows, we need to establish both their local Lipschitz properties and more general operators of the type $v\mapsto m\left(v\right(·\left)\right)v(·)$, where $m(·)$ is a given function and $v\in H^k\left({\mathbb{R}}^d\right)$. One-dimensional results of this kind can be found in [11] (Proposition 7.2). We present an analogue of the proof of [11] (Proposition 7.2)t in [15] (Appendix A); see Lemma 4 below.

Lemma 4.

Assume $k\ge \left[\frac{d+1}{2}\right]$ and let $m:(q,u)\mapsto m(q,u)\in \mathbb{R}$ be a function from $C^{k+1}\left({\mathbb{R}}^2\right)$. Consider the formula

$$\left(q\right(\mathbf{x}),u(\mathbf{x}),v(\mathbf{x}\left)\right)\mapsto m\left(q\right(\mathbf{x}),u(\mathbf{x}\left)\right)v\left(\mathbf{x}\right),$$

(31)

where $q(·)$, $u(·)$, $v(·):{\mathbb{R}}^d\mapsto \mathbb{R}$, and the variable $\mathbf{x}=(x_1,...,x_d)\in {\mathbb{R}}^d$.

(1) 

Formula (31) defines a mapping from $H^k\left({\mathbb{R}}^d\right)\times {\mathcal{E}}_0^2$ to ${\mathcal{E}}_0$ that is locally Lipschitz on any set with the form $\{(q,u,v):\parallel q{\parallel }_0+\parallel u{\parallel }_0+\parallel v{\parallel }_0\le K\}$.

(2) 

Formula (31) defines a mapping from $H^k\left({\mathbb{R}}^d\right)\times {\mathcal{E}}^2$ to $\mathcal{E}$ that is locally Lipschitz on any set with the form $\{(q,u,v):\parallel q{\parallel }_0+\parallel u{\parallel }_{\mathcal{E}}+\parallel v{\parallel }_{\mathcal{E}}\le K\}$.

By dropping q from Lemma 4, we record the following corollary that can be used to study the components of the map $H(·)$ from (29).

Corollary 1.

Let ${\mathcal{E}}_0=H^k\left({\mathbb{R}}^d\right)$, and let ${\mathcal{E}}_{\alpha }$ and $\mathcal{E}$ be defined accordingly. If $k\ge \left[\frac{d+1}{2}\right]$ and $m(·)\in C^{\infty }\left(\mathbb{R}\right)$, then the formula

$$v\left(\mathbf{x}\right)\mapsto m\left(v\left(\mathbf{x}\right)\right)v\left(\mathbf{x}\right),\mathbf{x}\in {\mathbb{R}}^d,$$

defines mappings from ${\mathcal{E}}_0$ to ${\mathcal{E}}_0$ and from $\mathcal{E}$ to $\mathcal{E}$. The first is locally Lipschitz on any set with the form $\{v:\parallel v{\parallel }_0\le K\}$, while the second is locally Lipschitz on any set with the form $\{v:\parallel v{\parallel }_{\mathcal{E}}\le K\}$.

Proposition 2.

Let ${\mathcal{E}}_0=H^k\left({\mathbb{R}}^d\right)$, and let ${\mathcal{E}}_{\alpha }$ and $\mathcal{E}$ be defined accordingly. Let $k\ge \left[\frac{d+1}{2}\right]$, and $\mathbf{v}=\left(\begin{array}{c}{v}_1\\ v_2\end{array}\right)$, and consider the formula

$$H\left(\mathbf{v}\right)=\left(\begin{array}{c}1\\ -\kappa \end{array}\right)v_2\left(g(v_1+1/\kappa )-g(1/\kappa )\right)$$

as provided in (28).

(1) 

$H(·)$ defines a mapping from ${\mathcal{E}}_0^2$ to ${\mathcal{E}}_0^2$ that is locally Lipschitz on any set with the form

$\{v:|\left|v\right|{|}_0\le K\}$.

(2) 

$H(·)$ defines a mapping from ${\mathcal{E}}^2$ to ${\mathcal{E}}^2$ that is locally Lipschitz on any set with the form

$\{v:|\left|v\right|{|}_{\mathcal{E}}\le K\}$.

Proof. 

It can be shown that $g(·)\in C^{\infty }\left(\mathbb{R}\right)$ is a smooth bounded function. Let

$$m\left(v_1\right)=g(v_1+1/\kappa )-g(1/\kappa );$$

then, $m(·)$ is a smooth and bounded function. By applying Corollary 1 to the components of the vector-valued map H, we finish the proof. □

Proposition 3.

Let ${\mathcal{E}}_0=H^k\left({\mathbb{R}}^d\right)$, and let ${\mathcal{E}}_{\alpha }$ and $\mathcal{E}$ be defined accordingly. Let $k\ge \left[\frac{d+1}{2}\right]$ and $\mathbf{v}=\left(\begin{array}{c}{v}_1\\ v_2\end{array}\right)$, and consider the formula

$$H\left(\mathbf{v}\right)=\left(\begin{array}{c}1\\ -\kappa \end{array}\right)v_2\left(g(v_1+1/\kappa )-g(1/\kappa )\right)$$

provided in (28).

(1) 

If $\mathbf{v}\in {\mathcal{E}}^2$, then there exists a constant $C_K>0$ such that

$${\left|\right|H\left(\mathbf{v}\right)\left|\right|}_{\alpha }\le C_K{\left|\right|\mathbf{v}\left|\right|}_0{\left|\right|\mathbf{v}\left|\right|}_{\alpha }$$

on any set with the form $\{v:|\left|\mathbf{v}\right|{|}_{\mathcal{E}}\le K\}$.

(2) 

If $\mathbf{v}\in {\mathcal{E}}^2$, then there exists a constant $C_K>0$ such that

$${\left|\right|H\left(\mathbf{v}\right)\left|\right|}_{\mathcal{E}}\le C_K{\left|\right|\mathbf{v}\left|\right|}_{\mathcal{E}}^2$$

on any set with the form $\{v:|\left|\mathbf{v}\right|{|}_{\mathcal{E}}\le K\}$.

Proof. 

Note that

$$g(v_1+1/\kappa )-g(1/\kappa )={\int }_0^t{g}^{\prime }(1/\kappa +t{v}_1)dt{v}_1.$$

Because ${\int }_0^t{g}^{\prime }(1/\kappa +t{v}_1)dt$ is a smooth function, from Corollary 1 we have

$$\parallel g(v_1+1/\kappa )-g(1/\kappa ){\parallel }_0\le C_K{\parallel v_1\parallel }_0.$$

Note that $\parallel v_1{\parallel }_0\le {\parallel \mathbf{v}\parallel }_0$ and $\parallel v_2{\parallel }_{\alpha }\le {\parallel \mathbf{v}\parallel }_{\alpha }$, because $v_1$ and $v_2$ are components of the vector $\mathbf{v}$. Then, (1) holds, because

$$\begin{array}{cc}\hfill {\parallel H\left(\mathbf{v}\right)\parallel }_{\alpha }={\parallel {\gamma }_{\alpha }H\left(\mathbf{v}\right)\parallel }_0& ={∥{\gamma }_{\alpha }\left(\begin{array}{c}1\\ -\kappa \end{array}\right)v_2\left(g(v_1+1/\kappa )-g(1/\kappa )\right)∥}_0\hfill \\ \hfill & \le C\parallel \left(g(v_1+1/\kappa )-g(1/\kappa )\right){\parallel }_0{\parallel {\gamma }_{\alpha }{v}_2\parallel }_0\hfill \\ \hfill & \le C_K\parallel v_1{\parallel }_0\parallel v_2{\parallel }_{\alpha }\le C_K{\left|\right|\mathbf{v}\left|\right|}_0{\left|\right|\mathbf{v}\left|\right|}_{\alpha }.\hfill \end{array}$$

Similarly, using the fact that $\parallel v_2{\parallel }_0\le {\parallel \mathbf{v}\parallel }_0$, we have

$$\begin{array}{cc}\hfill {\parallel H\left(\mathbf{v}\right)\parallel }_0& ={∥\left(\begin{array}{c}1\\ -\kappa \end{array}\right)v_2\left(g(v_1+1/\kappa )-g(1/\kappa )\right)∥}_0\hfill \\ \hfill & \le C\parallel \left(g(v_1+1/\kappa )-g(1/\kappa )\right){\parallel }_0{\parallel v_2\parallel }_0\hfill \\ \hfill & \le C_K\parallel v_1{\parallel }_0\parallel v_2{\parallel }_0\le C_K{\left|\right|\mathbf{v}\left|\right|}_0{\left|\right|\mathbf{v}\left|\right|}_0,\hfill \end{array}$$

thus,

$$\begin{array}{cc}\hfill {\left|\right|H\left(\mathbf{v}\right)\left|\right|}_{\mathcal{E}}& =max\left\{\right|\left|H\left(\mathbf{v}\right)\right|{|}_0,\left|\right|H\left(\mathbf{v}\right)\left|{|}_{\alpha }\right\}\hfill \\ \hfill & \le max\left\{C_K\right|\left|\mathbf{v}\right|{|}_0\left|\right|\mathbf{v}|{|}_0,C_K|\left|\mathbf{v}\right|{|}_0\left|\right|\mathbf{v}\left|{|}_{\alpha }\right\}\hfill \\ \hfill & \le C_K{\left|\right|\mathbf{v}\left|\right|}_{\mathcal{E}}{\left|\right|\mathbf{v}\left|\right|}_{\mathcal{E}},\hfill \end{array}$$

and (2) is proved. □

3.3. Stability of the Steady State of the Planar Front in the Model Case

In this subsection, we prove the stability of the end state ${\mathbf{u}}_{-}=(1/\kappa ,0)$ of (5). From Propositions 1 and 2, we know that with initial data ${\mathbf{v}}^0\in {\mathcal{E}}^2$ there is a unique mild solution $\mathbf{v}(t,{\mathbf{v}}^0)$ to system (8) defined for $t\in [0,t_{max}\left(v\right))$, where $0<t_{max}\left(v\right))\le \infty$ (see, e.g., [20], Theorem 6.1.4). The set $\{(t,{\mathbf{v}}^0)\in {\mathbb{R}}_{+}\times {\mathcal{E}}^2:0\le t<t_{max}\left(\mathbf{v}\right))\}$ is open in ${\mathbb{R}}_{+}\times {\mathcal{E}}^2$, and the map $(t,{\mathbf{v}}^0)\mapsto \mathbf{v}(t,{\mathbf{v}}^0)$ from this set to ${\mathcal{E}}^2$ is continuous (see, e.g., [21], Theorem 46.4). We summarize these facts as follows.

Proposition 4.

Let ${\mathcal{E}}_0=H^k\left({\mathbb{R}}^d\right)$ with $k\ge \left[\frac{d+1}{2}\right]$. Then, for each $\delta >0$, if $0<\gamma <\delta$, there exists $T(\gamma ,\delta )$ depending on γ and δ with $0<T(\gamma ,\delta )\le \infty$, such that the following is true. If ${\mathbf{v}}^0\in {\mathcal{E}}^2$ satisfies

$$\left|\right|{\mathbf{v}}^0{\left|\right|}_{\mathcal{E}}\le \gamma$$

(32)

and $0\le t<T$, the solution $\mathbf{v}\left(t\right)\in {\mathcal{E}}^2$ of (8) is defined and satisfies

$${\left|\right|\mathbf{v}\left(t\right)\left|\right|}_{\mathcal{E}}\le \delta .$$

(33)

We can then prove the following proposition to show that $\mathbf{v}(t,{\mathbf{v}}^0)\in {\mathcal{E}}^2$ is exponentially decaying in the weighted norm when ${\mathbf{v}}^0$ is small in ${\mathcal{E}}^2$. We first establish the exponential decay of the solutions of (8) on $H_{\alpha }^k{\left({\mathbb{R}}^d\right)}^2$.

Proposition 5.

Let ${\mathcal{E}}_0=H^k\left({\mathbb{R}}^d\right)$ with $k\ge \left[\frac{d+1}{2}\right]$, choosing $\nu >0$, as in Proposition 1. Then, there exist ${\delta }_1>0$ and $K_1>0$ such that the following is true for every $\delta \in (0,{\delta }_1)$ and every γ with $0<\gamma <\delta$. Let ${\mathbf{v}}^0\in {\mathcal{E}}^2$, satisfying (32), such that $\mathbf{v}\left(t\right)$ satisfies (33) for $0\le t<T(\delta ,\gamma )$. Then,

$${\left|\right|\mathbf{v}\left(t\right)\left|\right|}_{\alpha }\le K_1{e}^{-\nu t}\left|\right|{\mathbf{v}}^0{\left|\right|}_{\alpha }for0\le t<T(\delta ,\gamma ).$$

(34)

Proof. 

Because $\mathbf{v}\left(t\right)$ is a mild solution of (8) on ${\mathcal{E}}^2$, this satisfies the integral equation

$$\mathbf{v}\left(t\right)=e^{t{\mathcal{L}}_{\epsilon }}{\mathbf{v}}^0+{\int }_0^t{e}^{(t-s){\mathcal{L}}_{\mathcal{E}}}N\left(\mathbf{v}\left(s\right)\right)\mathbf{v}\left(s\right)ds.$$

(35)

Because by assumption ${\mathbf{v}}^0\in {\mathcal{E}}^2$, by Proposition 3 it is clear that $N\left(\mathbf{v}\right)\mathbf{v}$ is in $H_{\alpha }^k{\left({\mathbb{R}}^d\right)}^2$, thus, we have

$$e^{t{\mathcal{L}}_{\mathcal{E}}}{\mathbf{v}}^0=e^{t{\mathcal{L}}_{\alpha }}{\mathbf{v}}^0\mathrm{and}{e}^{(t-s){\mathcal{L}}_{\mathcal{E}}}N\left(\mathbf{v}\left(s\right)\right)\mathbf{v}\left(s\right)=e^{(t-s){\mathcal{L}}_{\alpha }}N\left(\mathbf{v}\left(s\right)\right)\mathbf{v}\left(s\right)$$

Next, we replace ${\mathcal{L}}_{\mathcal{E}}$ by ${\mathcal{L}}_{\alpha }$ in (35) and choose $\overline{\nu }>\nu >0$ such that

$$sup\left\{Re\lambda :\lambda \in Sp\left({\mathcal{L}}_{\alpha }\right)\right\}<-\overline{\nu }:=-k\nu ,$$

for some $k=\overline{\nu }/\nu >1$ and close to 1. Then, per Proposition 1 there exists $K_1>0$ such that ${∥e^{t{\mathcal{L}}_{\alpha }}∥}_{{\mathcal{E}}^2\to {\mathcal{E}}^2}⩽$$K_1{e}^{-\overline{\nu }t}$ for all $t⩾0$.

Choosing any ${\delta }^{\prime }>0$, for any $\gamma$ such that $0<\gamma <{\delta }^{\prime }$, if ${∥{\mathbf{v}}^0∥}_{\mathcal{E}}<\gamma$, per Proposition 4 we can say that ${\parallel \mathbf{v}\left(s\right)\parallel }_{\mathcal{E}}<{\delta }^{\prime }$ for all $s\in \left(0,T\left({\delta }^{\prime },\gamma \right)\right)$.

With the aid of Propostion 3 (1), there exists a constant $C_{{\delta }^{\prime }}>0$ depending on ${\delta }^{\prime }$ such that, for ${\parallel \mathbf{v}\left(s\right)\parallel }_{\mathcal{E}}⩽{\delta }^{\prime }$, when $s\in \left(0,T\left({\delta }^{\prime },\gamma \right)\right)$ it follows that

$${\parallel \mathbf{v}\left(t\right)\parallel }_{\alpha }⩽K_1{e}^{-\overline{\nu }t}{∥{\mathbf{v}}^0∥}_{\alpha }+{\int }_0^t{K}_1{e}^{-\overline{\nu }(t-s)}{C}_{{\delta }^{\prime }}{\parallel \mathbf{v}\left(s\right)\parallel }_0{\parallel \mathbf{v}\left(s\right)\parallel }_{\alpha }ds$$

For each $\delta <{\delta }^{\prime }$ and $0<\gamma <\delta$, if ${∥{\mathbf{v}}^0∥}_{\mathcal{E}}<\gamma$, then ${\parallel \mathbf{v}\left(s\right)\parallel }_{\mathcal{E}}<\delta$ for all $s\in$$(0,T(\delta ,\gamma \left)\right)$. Again, per Proposition 4,

$${\parallel \mathbf{v}\left(t\right)\parallel }_{\alpha }⩽K_1{e}^{-\overline{\nu }t}{∥{\mathbf{v}}^0∥}_{\alpha }+K_1{C}_{{\delta }^{\prime }}\delta {\int }_0^t{e}^{-\overline{\nu }(t-s)}{\parallel \mathbf{v}\left(s\right)\parallel }_{\alpha }ds$$

Applying Gronwall’s inequality for the function $e^{\overline{\nu }t}{\left|\right|\mathbf{v}\left(t\right)\parallel }_{\alpha }$, we can find that the inequality

$$e^{\overline{\nu }t}{\parallel \mathbf{v}\left(t\right)\parallel }_{\alpha }⩽K_1{∥{\mathbf{v}}^0∥}_{\alpha }+K_1{C}_{{\delta }^{\prime }}\delta {\int }_0^t{e}^{\overline{\nu }s}{\parallel \mathbf{v}\left(s\right)\parallel }_{\alpha }ds$$

implies, by Gronwall’s inequality, that

$${\parallel \mathbf{v}\left(t\right)\parallel }_{\alpha }⩽K_1{∥{\mathbf{v}}^0∥}_{\alpha }{e}^{K_1{C}_{{\delta }^{\prime }}\delta t-\overline{\nu }t}.$$

By choosing ${\delta }_1<min\left\{{\delta }^{\prime },(k-1)\frac{\nu }{K_1{C}_{{\delta }^{\prime }}}\right\}$, we can conclude that (34) holds for any $\delta \in \left(0,{\delta }_1\right)$. □

On the unweighted space ${\mathcal{E}}_0^2=H^k{\left({\mathbb{R}}^d\right)}^2$, we can rewrite system (8) as follows:

$$\begin{array}{cc}\hfill & v_{1t}=L^{\left(1\right)}{v}_1+e^{-\kappa }{v}_2+H_0\left(\mathbf{v}\right),\hfill \end{array}$$

(36)

$$\begin{array}{cc}\hfill & v_{2t}=L^{\left(2\right)}{v}_2-\kappa H_0\left(\mathbf{v}\right),\hfill \end{array}$$

(37)

where $H_0\left(\mathbf{v}\right)=v_2\left(g(v_1+1/\kappa )-g\left(v_1\right)\right)$. Using Propositions 2 and 3, we conclude that $H_0(·)$ defines a mapping from ${\mathcal{E}}_0^2$ to ${\mathcal{E}}_0$ that is locally Lipschitz on any set with the form $\{\mathbf{v}:\parallel \mathbf{v}{\parallel }_0\le K\}$ and $\left|\right|H_0{\left(\mathbf{v}\right)\left|\right|}_0\le C_K{\left|\right|\mathbf{v}\left|\right|}_0^2.$ Therefore, we obtain the following estimate.

Proposition 6.

Let ${\mathcal{E}}_0=H^k\left({\mathbb{R}}^d\right)$ with $k\ge \left[\frac{d+1}{2}\right]$. Choose $\rho >0$ as in Lemma 2 (3)(b), and ${\delta }_1$ as per Proposition 5. Assuming that $\nu <\rho$, where ν are chosen as in Proposition 1, there exist ${\delta }_2\in (0,{\delta }_1)$ and $C_1>0$ such that for every $\delta \in (0,{\delta }_2)$ and every γ with $0<\gamma <\delta$, then it is true that if $0\le t<T(\delta ,\gamma )$ and ${\mathbf{v}}^0\in {\mathcal{E}}^2$ satisfies (32) such that the solution $\mathbf{v}\left(t\right)\in {\mathcal{E}}^2$ of (8) satisfies (33), the following estimates hold:

$$\begin{array}{cc}\hfill & \left|\right|v_1{\left(t\right)\left|\right|}_0\le C_1\left|\right|{\mathbf{v}}^0{\left|\right|}_{\mathcal{E}},\hfill \end{array}$$

(38)

$$\begin{array}{cc}\hfill & \left|\right|v_2{\left(t\right)\left|\right|}_0\le C_1{e}^{-\rho t}\left|\right|{\mathbf{v}}^0{\left|\right|}_{\mathcal{E}}.\hfill \end{array}$$

(39)

Proof. 

We note that $\left(v_1,v_2\right)$ is the solution of (36) and (37) with initial values $\left(v_1^0,v_2^0\right)$ at $t=0$, that is $\left(v_1,v_2\right)\left(t\right)=\left(v_1,v_2\right)\left(t,v_1^0,v_2^0\right)$. With the help of Proposition 3 (2), we can find a constant $C_{{\delta }_1}>0$, meaning that

$${∥H_1\left(v_1,v_2\right)∥}_0⩽C_{{\delta }_1}{∥v_1∥}_0{∥v_2∥}_0,$$

(40)

and

$${∥H_2\left(v_1,v_2\right)∥}_0={∥-\kappa H_1\left(\mathbf{v}\right)∥}_0⩽C_{{\delta }_1}{∥v_1∥}_0{∥v_2∥}_0$$

when ${\parallel \mathbf{v}\parallel }_0⩽{\delta }_1$. The solution of (37) in $H^k\left({\mathbb{R}}^d\right)$ can be written as

$$v_2\left(t\right)=e^{t{\mathcal{L}}_2}{v}_2^0+{\int }_0^t{e}^{(t-s){\mathcal{L}}_2}{H}_2\left(v_1\left(s\right),v_2\left(s\right)\right)ds.$$

Then, we choose some $\overline{\rho }>\rho >0$ and $k=\overline{\rho }/\rho >1$ such that

$$sup\left\{Re\lambda :\lambda \in Sp\left({\mathcal{L}}_2\right)\right\}<-\overline{\rho }:=-k\rho .$$

By Lemma 2 (3), there exists $K_2>0$ such that ${∥e^{t{\mathcal{L}}_2}∥}_{H^k\left({\mathbb{R}}^d\right)\to H^k\left({\mathbb{R}}^d\right)}⩽K_2{e}^{-\overline{\rho }t}$. For each $\delta \in \left(0,{\delta }_1\right)$ and $\gamma \in (0,\delta )$, if ${∥{\mathbf{v}}^0∥}_{\mathcal{E}}⩽\gamma$,

$${∥v_1\left(s\right)∥}_0⩽{∥v_1\left(s\right)∥}_{\mathcal{E}}⩽{\parallel \mathbf{v}\left(s\right)\parallel }_{\mathcal{E}}⩽\delta .$$

Following Proposition 4, we obtain the following estimate for $v_2\left(t\right)$ using (37):

$$\begin{array}{cc}\hfill {∥v_2\left(t\right)∥}_0& ⩽K_2{e}^{-\overline{\rho }t}{∥v_2^0∥}_0+{\int }_0^t{K}_2{e}^{-\overline{\rho }(t-s)}{C}_{{\delta }_1}{∥v_1\left(s\right)∥}_0{∥v_2\left(s\right)∥}_{0}ds\hfill \\ & ⩽K_2{e}^{-\overline{\rho }t}{∥v_2^0∥}_0+{\int }_0^t{K}_2{e}^{-\overline{\rho }(t-s)}{C}_{{\delta }_1}\delta {∥v_2\left(s\right)∥}_{0}ds.\hfill \end{array}$$

We then calculate

$$\begin{array}{cc}\hfill e^{\overline{\rho }t}{∥v_2\left(t\right)∥}_0& ⩽K_2{∥v_2^0∥}_{\mathcal{E}}+K_2{C}_{{\delta }_1}\delta {\int }_0^t{e}^{\overline{\rho }s}{∥v_2\left(s\right)∥}_{0}ds\hfill \\ & ⩽K_2{∥{\mathbf{v}}^0∥}_{\mathcal{E}}+K_2{C}_{{\delta }_1}\delta {\int }_0^t{e}^{\overline{\rho }s}{∥v_2\left(s\right)∥}_{0}ds.\hfill \end{array}$$

By applying Gronwall’s inequality to $e^{\overline{\rho }t}{∥v_2\left(t\right)∥}_0$, we infer that

$${∥v_2\left(t\right)∥}_0⩽K_2{∥{\mathbf{v}}^0∥}_{\mathcal{E}}{e}^{K_2{C}_{{\delta }_1}\delta t-\overline{\rho }t}.$$

Let ${\delta }_2<min\left({\delta }_1,\frac{(k-1)\rho }{K_2{C}_{{\delta }_1}}\right)$; then, for $\delta <{\delta }_2$ it follows that

$${∥v_2\left(t\right)∥}_0⩽K_2{∥{\mathbf{v}}^0∥}_{\mathcal{E}}{e}^{-\rho t}\mathrm{for}\mathrm{all}t\in [0,T(\delta ,\gamma )),$$

which proves (39). Next, we proceed to prove (38). The solution of (36) in $H^k\left({\mathbb{R}}^d\right)$ satisfies

$$v_1\left(t\right)=e^{t{\mathcal{L}}_1}{v}_1^0+{\int }_0^t{e}^{(t-s){\mathcal{L}}_1}\left(e^{-\kappa }{v}_2\left(s\right)+H_1\left(v_1\left(s\right),v_2\left(s\right)\right)ds.\right.$$

First, because ${\mathcal{L}}_1$ generates a bounded semigroup, per Lemma 2 (1) there exists a constant $K_3>0$ such that ${∥e^{t{\mathcal{L}}_1}∥}_{H^k\left({\mathbb{R}}^d\right)\to H^k\left({\mathbb{R}}^d\right)}⩽K_3$. Using (40) and the fact that

$${∥e^{-\kappa }{v}_2\left(s\right)∥}_0⩽{∥v_2\left(s\right)∥}_0$$

for $\kappa >0$, we infer that

$${∥v_1\left(t\right)∥}_0⩽K_3{∥v_1^0∥}_0+{\int }_0^t\left(K_3{C}_{{\delta }_1}{∥v_2\left(s\right)∥}_0{∥v_1\left(s\right)∥}_0+K_3{∥v_2\left(s\right)∥}_0\right)ds.$$

Furthermore, using the fact that ${∥v_1\left(s\right)∥}_0⩽{\parallel \mathbf{v}\left(s\right)\parallel }_0⩽{\parallel \mathbf{v}\left(s\right)\parallel }_{\mathcal{E}}<\delta <{\delta }_2$, for a constant $C_{{\delta }_1,{\delta }_2}>0$ independent of $\delta$ we have

$$\begin{array}{cc}\hfill {∥v_1\left(t\right)∥}_0& ⩽K_3{∥v_1^0∥}_{\mathcal{E}}+{\int }_0^t{K}_3\left(C_{{\delta }_1}{∥v_1\left(s\right)∥}_0+1\right){∥v_2\left(s\right)∥}_{0}ds\hfill \\ & ⩽K_3{∥v_1^0∥}_{\mathcal{E}}+{\int }_0^t{K}_3{C}_{{\delta }_1,{\delta }_2}{∥v_2\left(s\right)∥}_{0}ds.\hfill \end{array}$$

Then, we use (39) to obtain

$$\begin{array}{cc}\hfill {∥v_1\left(t\right)∥}_0& ⩽K_3{∥{\mathbf{v}}^0∥}_{\mathcal{E}}+{\int }_0^t{K}_2{K}_3{C}_{{\delta }_1,{\delta }_2}{e}^{-\rho s}{∥{\mathbf{v}}^0∥}_{\mathcal{E}}ds\hfill \\ & ⩽K_3{∥{\mathbf{v}}^0∥}_{\mathcal{E}}+K_2{K}_3{C}_{{\delta }_1,{\delta }_2}{∥{\mathbf{v}}^0∥}_{\mathcal{E}}{\int }_0^t{e}^{-\rho s}ds\hfill \\ & ⩽C_2{∥{\mathbf{v}}^0∥}_{\mathcal{E}}\hfill \end{array}$$

for some $C_2>0$. In conclusion, there exists a constant $C_1>0$ such that the inequalities (38) and (39) hold for $\delta \in \left(0,{\delta }_2\right)$ and $\gamma \in (0,\delta )$ when $t\in [0,T(\delta ,\gamma \left)\right)$. □

3.4. Proof of Theorem 1

In this subsection, we present the main proof of the stability of the end state ${\mathbf{u}}_{-}$ of (5) in ${\parallel ·\parallel }_{\mathcal{E}}$. The proof relies on the following bootstrap argument based on Propositions 4–6. These propositions yield the existence of constants ${\delta }_0>0$ and $C_{{\delta }_0}>0$, meaning that for every $\delta \in \left(0,{\delta }_0\right)$ and every $\gamma \in (0,\delta )$ there exists $T(\delta ,\gamma )$ such that for every $t\in [0,T(\delta ,\gamma \left)\right)$ the inequalities

$${\parallel \mathbf{v}\left(t\right)\parallel }_{\mathcal{E}}<\delta \mathrm{and}{\parallel \mathbf{v}\left(t\right)\parallel }_{\mathcal{E}}⩽C_{{\delta }_0}{∥{\mathbf{v}}^0∥}_{\mathcal{E}}$$

(41)

hold for the solution $\mathbf{v}\left(t\right)$ of (8) with the initial value ${\mathbf{v}}^0\in {\mathcal{E}}^2$ as long as ${∥{\mathbf{v}}^0∥}_{\mathcal{E}}<\gamma$. Next, we show that for each $\delta \in \left(0,{\delta }_0\right)$ there is an $\eta$ such that, if ${∥{\mathbf{v}}^0∥}_{\mathcal{E}}<\eta$, then ${\parallel \mathbf{v}\left(t\right)\parallel }_{\mathcal{E}}<\delta$ for all $t⩾0$. Assume $C_{{\delta }_0}>1$; without loss of generality, by setting $\eta =\frac{\delta }{2C_{{\delta }_0}}$ and assuming ${∥{\mathbf{v}}^0∥}_{\mathcal{E}}<\eta$, then ${\parallel \mathbf{v}\left(T(\delta ,\gamma )\right)\parallel }_{\mathcal{E}}<\delta /2$ by (41). Thus, the solution $\mathbf{v}$ with the initial value $\mathbf{v}\left(T\right(\delta ,\gamma \left)\right)$ ) again satisfies (41) for $t\in \left[T\right(\eta ,\gamma ),2T(\eta ,\gamma \left)\right)$ per Propositions 4 and 5. Thus, these propositions can be applied for all $t⩾0$ which proves its stability. As long as these propositions are applicable, we are able obtain more refined information about the behavior of the solution, including its boundedness in the ${\parallel ·\parallel }_0$-norm and the exponential decay in the ${\parallel ·\parallel }_{\alpha }$-norm; see items (3)–(5) of Theorem 1.

With an initial value ${\mathbf{v}}^0\in {\mathcal{E}}^2$, let $\mathbf{v}\left(t\right)=\mathbf{v}(t,{\mathbf{v}}^0)$ be the solution of (8) in ${\mathcal{E}}^2$, which we have already shown to exist on at least a short time period. We now complete the proof of the nonlinear stability of the end state ${\mathbf{u}}_{-}$ by obtaining a control on solutions for all times t. For this, we need to use the following general result (see [22] Proposition 1.21):

Lemma 5

(Abstract Bootstrap Principle). First, let I be a time interval; then, suppose that for each $T\in I$ we have two statements, a “hypothesis” $H\left(T\right)$ and a “conclusion” $C\left(T\right)$. Suppose that we can verify the following four assertions:

(a) 

(Hypothesis implies conclusion): If $H\left(T\right)$ is true for some time $T\in I$, then $C\left(T\right)$ is true for that time T.

(b) 

(Conclusion is stronger than hypothesis): If $C\left(T\right)$ is true for some time $T\in I$, then $H\left(T^{\prime }\right)$ is true for all $T^{\prime }\in I$ in a neighborhood of T.

(c) 

(Conclusion is closed): If $T_1,T_2,...$ is a sequence of times in I which converges to another time $T\in I$, and $C\left(T_n\right)$ is true for all $T_n$, then $C\left(T\right)$ is true.

(d) 

(Base case): Of $H\left(T\right)$ is true for at least one time $T\in I$, then $C\left(T\right)$ is true for all $T\in I$.

We now state the main result in Theorem 1. The small constant ${\delta }_0$ in the proof can be taken as ${\delta }_0={\delta }_2$, where ${\delta }_2$ is chosen as in Proposition 6.

Theorem 1.

Let ${\mathcal{E}}_0=H^k\left({\mathbb{R}}^d\right)$ with $k\ge \frac{d+1}{2}$ and consider the semilinear system (8). There exist constants $C>0$, $\nu >0$, and a small ${\delta }_0>0$ such that for each $0<\delta <{\delta }_0$ we can find η to satisfy $0<\eta <\delta$ such that, if $\left|\right|{\mathbf{v}}^0{\left|\right|}_{\mathcal{E}}\le \eta$, the following is true for the solution $\mathbf{v}\left(t\right)$ of (8) for all $t>0$:

(1) 

$\mathbf{v}\left(t\right)$ is defined in ${\mathcal{E}}^2$

(2) 

${\left|\right|\mathbf{v}\left(t\right)\left|\right|}_{\mathcal{E}}\le \delta$

(3) 

${\left|\right|\mathbf{v}\left(t\right)\left|\right|}_{\alpha }\le C{e}^{-\nu t}\left|\right|{\mathbf{v}}^0{\left|\right|}_{\alpha }$

(4) 

$\left|\right|v_1{\left(t\right)\left|\right|}_0\le C\left|\right|{\mathbf{v}}^0{\left|\right|}_{\mathcal{E}}$

(5) 

$\left|\right|v_2{\left(t\right)\left|\right|}_0\le C{e}^{-\nu t}\left|\right|{\mathbf{v}}^0{\left|\right|}_{\mathcal{E}}$.

Proof. 

Let I be the time interval $[0,\infty )$.

Let $H\left(T\right)$ in Lemma 5 be the following statement. For each $0<\delta <{\delta }_2$ in which ${\delta }_2$ is chosen as in Proposition 6, there exists $0<\gamma <\delta$ such that if $\left|\right|{\mathbf{v}}^0{\left|\right|}_{\mathcal{E}}\le \gamma$, then $\mathbf{v}\left(t\right)$ is defined and ${\left|\right|\mathbf{v}\left(t\right)\left|\right|}_{\mathcal{E}}\le \delta$ on the time interval $[0,T)$ for some $T=T(\delta ,\gamma )$, depending on $\delta$ and $\gamma$. Thus, property (d) of the bootstrap principle is proven by Proposition 4.

Let $C\left(T\right)$ be the following statement. There exists $T>0$ such that properties (3)–(5) in Theorem 1 hold within the time interval $[0,T)$.

Let $0<{\gamma }_1<\delta <{\delta }_2$ and let $\gamma =C^{-1}{\gamma }_1$, where C is a constant satisfying $C>max\{1,K_1,C_1\}$ with $K_1$ and $C_1$ as in Propositions 5 and 6.

Let ${\mathbf{v}}^0\in {\mathcal{E}}^2$ with $\left|\right|{\mathbf{v}}^0{\left|\right|}_{\mathcal{E}}\le \gamma$ be the initial value of (8). Now, $\gamma \le {\gamma }_1<\delta$. Choose $\nu$ as in Proposition 1; per Propositions 5 and 6, items (3), (4), and (5) hold for $0<t\le T(\delta ,\gamma )$. Thus, property (a) of the bootstrap principle is proven.

Property (c) holds by the continuity of $\mathbf{v}\left(t\right)$.

Now, we need to prove property (b) of the bootstrap principle. Let ${\mathbf{v}}^0\in {\mathcal{E}}^2$ with $\left|\right|{\mathbf{v}}^0{\left|\right|}_{\mathcal{E}}\le \gamma$; for any $t\in (0,T)$, inequilities (3), (4), and (5) hold. Thus, by continuity of $\mathbf{v}\left(t\right)$, we can conclude that

$$\left|\right|\mathbf{v}(T,{\mathbf{v}}^0){\left|\right|}_{\mathcal{E}}\le C\left|\right|{\mathbf{v}}^0{\left|\right|}_{\mathcal{E}}\le C\gamma ={\gamma }_1.$$

(42)

If we take ${\mathbf{v}}^1=\mathbf{v}(T,{\mathbf{v}}^0)$ as an initial value of system (8), it satisfies $\left|\right|{\mathbf{v}}^1{\left|\right|}_{\mathcal{E}}\le {\gamma }_1<\delta$; by applying Proposition 4 again, there exists $T(\delta ,{\gamma }_1)>0$ such that for all $t\in (T,T+T(\delta ,{\gamma }_1))$ we have

$$\left|\right|\mathbf{v}(T+t,{\mathbf{v}}^0){\left|\right|}_{\mathcal{E}}=\left|\right|\mathbf{v}(t,{\mathbf{v}}^1){\left|\right|}_{\mathcal{E}}\le \delta .$$

(43)

Then, $H\left(T^{\prime }\right)$ is true for $T^{\prime }=T+T(\delta ,{\gamma }_1)$, and property (b) is proven.

Thus, we finish the proof of Theorem 1 using the bootstrap principle. □

4. Stability of the End States for a General System

In this section, we study a steady state solution ${\mathbf{u}}_{-}$ to (4) with $f\left({\mathbf{u}}_{-}\right)=0$ and its perturbation depending on the spatial variable $\mathbf{x}\in {\mathbb{R}}^d$.

Without loss of generality, we take ${\mathbf{u}}_{-}=0$. Information about the stability of the zero solution is encoded in the spectrum of the operator obtained by linearizing (4) with respect to zero:

$${\mathbf{u}}_t=D{\Delta }_{\mathbf{x}}u+c{\partial }_z\mathbf{u}+{\partial }_{\mathbf{u}}f\left(0\right)\mathbf{u}=:L\mathbf{u},$$

(44)

where ${\partial }_{\mathbf{u}}$ is the differential with respect to $\mathbf{u}$.

Let ${\mathcal{E}}_0$ be the Sobolev spaces $H^k\left({\mathbb{R}}^d\right)$, and define the weight function

$${\gamma }_{\alpha }\left(z,x_2,\dots ,x_d\right)=e^{\alpha z}$$

and the spaces ${\mathcal{E}}_{\alpha }$ and $\mathcal{E}={\mathcal{E}}_0\cap {\mathcal{E}}_{\alpha }$ as before. Analogously to the model problem discussed in Section 3, we use $\mathcal{L}$ to denote the operator defined on ${\mathcal{E}}_0^2$ provided by the map $u\to Lu$, with the domain $u\in H^{k+2}{\left({\mathbb{R}}^d\right)}^2$. We use ${\mathcal{L}}_{\alpha }$ to denote the operator defined on ${\mathcal{E}}_{\alpha }^2$ as provided by $u\to Lu$, with the domain being the set of u, where ${\gamma }_{\alpha }u\in H^{k+2}{\left({\mathbb{R}}^d\right)}^2$. Throughout, we impose the following assumptions on $f(·)$ in (4).

Hypothesis 1. 

(a) 

In appropriate variables $\mathbf{u}=\left({\mathbf{u}}_1,{\mathbf{u}}_2\right),{\mathbf{u}}_1\in {\mathbb{R}}^{n_1},{\mathbf{u}}_2\in {\mathbb{R}}^{n_2},n_1+n_2=n$, we assume that for some constant $n_1\times n_1$ matrix $A_1$ we have

$$f\left({\mathbf{u}}_1,0\right)={\left(A_1{\mathbf{u}}_1,0\right)}^T.$$

(b) 

The function f is $C^{k+3}$ from ${\mathbb{R}}^n$ to ${\mathbb{R}}^n$.

If Hypothesis 1 holds, then $f\left({\mathbf{u}}_{\pm }\right)=0$ and

$$\begin{array}{cc}\hfill f\left({\mathbf{u}}_1,{\mathbf{u}}_2\right)& =f\left({\mathbf{u}}_1,0\right)+f\left({\mathbf{u}}_1,{\mathbf{u}}_2\right)-f\left({\mathbf{u}}_1,0\right)\hfill \\ & =\left(\begin{array}{c}{A}_1{\mathbf{u}}_1\\ 0\end{array}\right)+{\int }_0^1{\partial }_{{\mathbf{u}}_2}f\left({\mathbf{u}}_1,t{\mathbf{u}}_2\right)dt{\mathbf{u}}_2\hfill \\ & =\left(\begin{array}{c}{A}_1{\mathbf{u}}_1+{\tilde{f}}_1\left({\mathbf{u}}_1,{\mathbf{u}}_2\right){\mathbf{u}}_2\\ {\tilde{f}}_2\left({\mathbf{u}}_1,{\mathbf{u}}_2\right){\mathbf{u}}_2\end{array}\right),\hfill \end{array}$$

where ${\tilde{f}}_1$ and ${\tilde{f}}_2$ are some matrix-valued functions of size $n_1\times n_2$ and $n_2\times n_2$, respectively. Then, we can write

$$D=\left(\begin{array}{cc}{D}_1& 0\\ 0& D_2\end{array}\right),f\left(\mathbf{u}\right)=\left(\begin{array}{c}{f}_1\left({\mathbf{u}}_1,{\mathbf{u}}_2\right)\hfill \\ f_2\left({\mathbf{u}}_1,{\mathbf{u}}_2\right)\hfill \end{array}\right),$$

where each $D_i$ is a nonnegative diagonal matrix of size $n_i\times n_i$ and $f_i:{\mathbb{R}}^{n_1}\times {\mathbb{R}}^{n_2}\to {\mathbb{R}}^{n_i}$ for $i=1,2$. Equation (4) now reads as follows:

$${\partial }_t{\mathbf{u}}_1=D_1{\Delta }_x{\mathbf{u}}_1+c{\partial }_z{\mathbf{u}}_1+f_1\left({\mathbf{u}}_1,{\mathbf{u}}_2\right),$$

(45)

$${\partial }_t{\mathbf{u}}_2=D_2{\Delta }_x{\mathbf{u}}_2+c{\partial }_z{\mathbf{u}}_2+f_2\left({\mathbf{u}}_1,{\mathbf{u}}_2\right).$$

(46)

If we linearize (46) at $(0,0)$, then the constant–coefficient linear equation depends only on $u_2$, as $f(0,0)=0$ per Hypothesis 1 (a) can be obtained as follows:

$$\begin{array}{cc}\hfill {\partial }_t{\mathbf{u}}_2& =D_2{\Delta }_{\mathbf{x}}{\mathbf{u}}_2+c{\partial }_z{\mathbf{u}}_2+{\partial }_{{\mathbf{u}}_1}{f}_2(0,0){\mathbf{u}}_1+{\partial }_{{\mathbf{u}}_2}{f}_2(0,0){\mathbf{u}}_2\hfill \\ \hfill & =D_2{\Delta }_{\mathbf{x}}{\mathbf{u}}_2+c{\partial }_z{\mathbf{u}}_2+{\partial }_{{\mathbf{u}}_2}{f}_2(0,0){\mathbf{u}}_2.\hfill \end{array}$$

(47)

We denote by $L^{\left(2\right)}{\mathbf{u}}_2$ the right-hand side of (47) and let ${\mathcal{L}}^{\left(2\right)}$ be the operator defined on $H^k{\left({\mathbb{R}}^d\right)}^{n_2}$ and provided by $\mathbf{u}\to L^{\left(2\right)}\mathbf{u}$ with the domain $\mathbf{u}\in H^{k+2}{\left({\mathbb{R}}^d\right)}^{n_2}$.

In addition, we linearize (45) at $(0,0)$; per by Hypothesis 1 (a), the respective constant–coefficient linear equation reads

$$\begin{array}{cc}\hfill {\partial }_t{\mathbf{u}}_1& =D_1{\Delta }_{\mathbf{x}}{\mathbf{u}}_1+c{\partial }_z{\mathbf{u}}_1+{\partial }_{{\mathbf{u}}_1}{f}_1(0,0){\mathbf{u}}_1+{\partial }_{{\mathbf{u}}_2}{f}_1(0,0){\mathbf{u}}_2\hfill \\ \hfill & =D_1{\Delta }_{\mathbf{x}}{\mathbf{u}}_1+c{\partial }_z{\mathbf{u}}_1+A_1{\mathbf{u}}_1+{\partial }_{{\mathbf{u}}_2}{f}_1(0,0){\mathbf{u}}_2.\hfill \end{array}$$

(48)

We denote $L^{\left(1\right)}{\mathbf{u}}_1=D_1{\Delta }_{\mathbf{x}}{\mathbf{u}}_1+c{\partial }_z{\mathbf{u}}_1+A_1{\mathbf{u}}_1$; thus, ${\partial }_t{\mathbf{u}}_1=L^{\left(1\right)}{\mathbf{u}}_1+{\partial }_{{\mathbf{u}}_2}{f}_1(0,0){\mathbf{u}}_2$. Let ${\mathcal{L}}^{\left(1\right)}$ be the operator defined on $H^k{\left({\mathbb{R}}^d\right)}^{n_1}$, provided by $\mathbf{u}\to L^{\left(1\right)}\mathbf{u}$, with the domain $\mathbf{u}\in H^{k+2}{\left({\mathbb{R}}^d\right)}^{n_1}$.

With the additional assumptions listed below, we show that the perturbations of the left end state ${\mathbf{u}}_{-}$ that are initially small in both the unweighted norm and weighted norm remain small in the unweighted norm and decay exponentially in the weighted norm. In addition, the ${\mathbf{u}}_2$-component of the perturbation decays exponentially in the unweighted norm. Below, we use the following hypotheses about the spectrum of $\mathcal{L}$.

Hypothesis 2.

In addition to Hypothesis 1, we assume that there exists a constant $\alpha >0$ such that $sup\left\{Re\lambda :\lambda \in Sp\left({\mathcal{L}}_{\alpha }\right)\right\}<0$ on ${(L_{\alpha }^2\left(\mathbb{R}\right)\otimes L^2\left({\mathbb{R}}^{d-1}\right))}^n$.

As in Section 3.1, let $y=\left(x_2,\dots ,x_d\right)\in {\mathbb{R}}^{d-1}$ such that $\mathbf{x}=(z,y)\in {\mathbb{R}}^d$, denote $L_{1,\alpha }=D{\partial }_{zz}+c{\partial }_z+{\partial }_{\mathbf{u}}f\left(0\right)\mathbf{u}$ and ${\Delta }_y={\partial }_{x_2}^2+\cdots +{\partial }_{x_d}^2$, and define the linear operators ${\mathcal{L}}_{1,\alpha }:H_{\alpha }^k{\left(\mathbb{R}\right)}^n\to H_{\alpha }^k{\left(\mathbb{R}\right)}^n$, where $dom\left({\mathcal{L}}_{1,\alpha }\right)=H_{\alpha }^{k+2}{\left(\mathbb{R}\right)}^n\subset H_{\alpha }^k{\left(\mathbb{R}\right)}^n$ and ${\Delta }_y:H^k{\left({\mathbb{R}}^{d-1}\right)}^n\to H^k{\left({\mathbb{R}}^{d-1}\right)}^n$, where $dom\left({\Delta }_y\right)=H^{k+2}{\left({\mathbb{R}}^{d-1}\right)}^n\subset H^k\left({\mathbb{R}}^{d-1}\right)$. Then, the operator ${\mathcal{L}}_{\alpha }$ on the space $H_{\alpha }^k{\left({\mathbb{R}}^d\right)}^n$ can be represented as

$${\mathcal{L}}_{\alpha }={\mathcal{L}}_{1,\alpha }\otimes I_{H^k\left({\mathbb{R}}^{d-1}\right)}+I_{H_{\alpha }^k\left(\mathbb{R}\right)}\otimes {\Delta }_y.$$

Hypothesis 2 holds if there exists a constant $\alpha >0$ such that $sup\{Re\lambda :\lambda \in$$\left.Sp\left({\mathcal{L}}_{1,\alpha }\right)\right\}<0$ on $H_{\alpha }^k{\left(\mathbb{R}\right)}^n$. Indeed, following Remark 3, we have

$$Sp\left({\mathcal{L}}_{1,\alpha }\otimes I_{H^k\left({\mathbb{R}}^{d-1}\right)}+I_{H_{\alpha }^k\left(\mathbb{R}\right)}\otimes {\Delta }_y\right)=Sp\left({\mathcal{L}}_{1,\alpha }\right)+Sp\left({\Delta }_y\right)$$

Note that the spectra of ${\mathcal{L}}_{1,\alpha }$ on $L_{\alpha }^2{\left({\mathbb{R}}^d\right)}^n$ and $H_{\alpha }^k{\left({\mathbb{R}}^d\right)}^n$ are equal, similar to Lemma 6; thus, it is apparent that if $sup\left\{Re\lambda :\lambda \in Sp\left({\mathcal{L}}_{1,\alpha }\right)\right\}<0$ on $L_{\alpha }^2{\left(\mathbb{R}\right)}^n$, then Hypothesis 2 is satisfied for any $H_{\alpha }^k{\left({\mathbb{R}}^d\right)}^n$.

Hypothesis 3.

In addition to Hypothesis 2, we assume the following:

(1) 

The operator ${\mathcal{L}}^{\left(1\right)}$ generates a bounded semigroup on the spaces $L^2{\left({\mathbb{R}}^d\right)}^{n_1}$ and $H^k{\left({\mathbb{R}}^d\right)}^{n_1}.$

(2) 

The operator ${\mathcal{L}}^{\left(2\right)}$ satisfies $sup\left\{Re\lambda :\lambda \in Sp\left({\mathcal{L}}^{\left(2\right)}\right)\right\}<0$ on $L^2{\left({\mathbb{R}}^d\right)}^{n_2}$ and $H^k{\left({\mathbb{R}}^d\right)}^{n_2}.$

Note that we have used the following lemmas in stating these hypotheses, by analogy to Lemma 1 in Section 3.1.

Lemma 6.

The linear operator $\mathcal{L}$ associated with L in (44) has the same spectrum on $L^2{\left({\mathbb{R}}^d\right)}^n$ and $H^k{\left({\mathbb{R}}^d\right)}^n$, and the linear operators ${\mathcal{L}}^{\left(i\right)}$ associated with $L^{\left(i\right)}$ in (48) and (47) have the same spectra on $L^2{\left({\mathbb{R}}^d\right)}^{n_i}$ and $H^k{\left({\mathbb{R}}^d\right)}^{n_i}$ for $i=1,2$; similarly, the linear operator ${\mathcal{L}}_{\alpha }$ has the same spectrum on both ${(L_{\alpha }^2\left(\mathbb{R}\right)\otimes L^2\left({\mathbb{R}}^{d-1}\right))}^n$ and ${(H_{\alpha }^k\left(\mathbb{R}\right)\otimes H^k\left({\mathbb{R}}^{d-1}\right))}^n$.

Proof. 

Because $\mathcal{L}$ is associated with the constant–coefficient differential expression L, we can use the same proof as in Lemma 1. □

We now rewrite Equation (4) for the perturbation $\mathbf{v}(t,\mathbf{x})$ of the end state ${\mathbf{u}}_{-}=0$ in a form amenable to the subsequent analysis. We seek a solution to (4) of the form $\mathbf{u}(t,\mathbf{x})={\mathbf{u}}_{-}+\mathbf{v}(t,\mathbf{x})$. Using this notation, $\mathbf{v}=\mathbf{v}(t,\mathbf{x})$ satisfies

$${\mathbf{v}}_t=D{\Delta }_{\mathbf{x}}\mathbf{v}+c{\partial }_z\mathbf{v}+{\partial }_{\mathbf{u}}f\left(0\right)\mathbf{v}+f\left(\mathbf{v}\right)-f\left(0\right)-{\partial }_{\mathbf{u}}f\left(0\right)\mathbf{v}.$$

(49)

Note that

$$f\left(\mathbf{v}\right)-f\left(0\right)-{\partial }_{\mathbf{u}}f\left(0\right)\mathbf{v}={\int }_0^1\left({\partial }_{\mathbf{u}}f\left(t\mathbf{v}\right)-{\partial }_{\mathbf{u}}f\left(0\right)\right)dt\mathbf{v}.$$

We define

$$N\left(\mathbf{u}\right)={\int }_0^1\left({\partial }_{\mathbf{u}}f\left(t\mathbf{v}\right)-{\partial }_{\mathbf{u}}f\left(0\right)\right)dt,$$

(50)

as an $n\times n$ matrix-valued function of $\mathbf{v}$; note that $N\left(\mathbf{v}\right)\mathbf{v}\in {\mathbb{R}}^n$ for any $\mathbf{v}\in {\mathbb{R}}^n$. Using (50), we can rewrite (49) as

$${\mathbf{v}}_t=L\mathbf{v}+N\left(\mathbf{v}\right)\mathbf{v}.$$

(51)

This is the semilinear equation for the perturbation we examine here. Throughout the rest of this section, we assume $k⩾\left[\frac{d+1}{2}\right]$ for ${\mathcal{E}}_0=$$H^k\left({\mathbb{R}}^d\right)$ and ${\mathcal{E}}_{\alpha }=H_{\alpha }^k\left(\mathbb{R}\right)\otimes H^k\left({\mathbb{R}}^{d-1}\right)$.

Proposition 7.

Assuming that Hypotheses 1–3 hold, the following are true. (1) There exists $\alpha >0$ such that on the weighted space ${\mathcal{E}}_{\alpha }^n$, the spectrum of ${\mathcal{L}}_{\alpha }$ is bounded away from the imaginary axis $sup\left\{Re\lambda :\lambda \in Sp\left({\mathcal{L}}_{\alpha }\right)\right\}<-\nu$ for some $\nu >0$. In addition, there exists $K>0$ such that

$${∥e^{t{\mathcal{L}}_{\alpha }}∥}_{{\mathcal{E}}_{\alpha }^n\to {\mathcal{E}}_{\alpha }^n}⩽K{e}^{-\nu t}\mathrm{for}\mathrm{all}t⩾0.$$

(2) On the unweighted space ${\mathcal{E}}_0^{n_2}$, we have $sup\left\{Re\lambda :\lambda \in Sp\left({\mathcal{L}}^{\left(2\right)}\right)\right\}<-\rho$ for some $\rho >0$, and there exists $K>0$ such that ${∥e^{t{\mathcal{L}}^{\left(2\right)}}∥}_{{\mathcal{E}}_0^{n_2}\to {\mathcal{E}}_0^{n_2}}⩽K{e}^{-\rho t}$ for all $t⩾0$.

Proof. 

Statement (1) holds by Hypothesis 2 and Lemma 6, while Statement (2) follows from Hypothesis 3 and Lemma 6. □

The above Proposition 7 provides the spectral stability of the linear operator in the semilinear system (51). We next estimate the local Lipschitz property for the nonlinear terms $N\left(\mathbf{v}\right)\mathbf{v}$, as in (51) for the weighted and unweighted norms.

Proposition 8.

Assume $k⩾\frac{d+1}{2}$ and let ${\mathcal{E}}_0=H^k\left({\mathbb{R}}^d\right)$; given $f\in C^{k+3}({\mathbb{R}}^n;{\mathbb{R}}^n)$, consider the nonlinearity $N\left(\mathbf{v}\right)$ defined in (50). Then, we have the following:

(1) 

If $\mathbf{v}\in {\mathcal{E}}^n$, then $N\left(\mathbf{v}\right)\mathbf{v}\in {\mathcal{E}}_{\alpha }^n$, and on any bounded neighborhood with the form $\left\{{\mathbf{v}:\parallel \mathbf{v}\parallel }_{\mathcal{E}}⩽K\right\}$ there is a constant $C_K>0$ such that ${\parallel N\left(\mathbf{v}\right)\mathbf{v}\parallel }_{\alpha }⩽C_K{\parallel \mathbf{v}\parallel }_0{\parallel \mathbf{v}\parallel }_{\alpha }$.

(2) 

If $\mathbf{v}\in {\mathcal{E}}^n$, then $N\left(\mathbf{v}\right)\mathbf{v}\in {\mathcal{E}}_0^n$, and on any bounded neighborhood with the form $\left\{{\mathbf{v}:\parallel \mathbf{v}\parallel }_0⩽K\right\}$ there is a constant $C_K>0$ such that ${\parallel N\left(\mathbf{v}\right)\mathbf{v}\parallel }_0⩽C_K{\parallel \mathbf{v}\parallel }_0^2$.

(3) 

The formula $\mathbf{v}\mapsto N\left(\mathbf{v}\right)\mathbf{v}$ defines a mapping from ${\mathcal{E}}^n$ to ${\mathcal{E}}^n$ that is locally Lipschitz on any bounded neighborhood with the form $\left\{{\mathbf{v}:\parallel \mathbf{v}\parallel }_{\mathcal{E}}⩽K\right\}$ in ${\mathcal{E}}^n$.

In this proof, we refer to Lemma 4 for the components of $N\left(\mathbf{v}\right)\mathbf{v}$ by dropping q from the lemma. Note that

$$N\left(\mathbf{v}\right)={\int }_0^1\left({\partial }_{u}f\left(t\mathbf{v}\right)-{\partial }_{u}f\left(0\right)\right)dt={\int }_0^1\left({\int }_0^1{\partial }_{u^2}f\left(st\mathbf{v}\right)ds\right)tvdt.$$

By applying Lemma 4 to the components of the vector under the integral, the mapping $\mathbf{v}\mapsto N\left(\mathbf{v}\right)$ is locally Lipschitz on sets with the form $\left\{{\mathbf{v}:\parallel \mathbf{v}\parallel }_0⩽K\right\}$, satisfying

$${\parallel N\left(\mathbf{v}\right)\parallel }_0⩽C_K{\parallel \mathbf{v}\parallel }_0.$$

(52)

Thus, per Lemma 3 (1) and (52), we conclude that the nonlinearity $N\left(\mathbf{v}\right)\mathbf{v}$ satisfies

$${\parallel N\left(\mathbf{v}\right)\mathbf{v}\parallel }_0⩽{\parallel N\left(\mathbf{v}\right)\parallel }_0{\parallel \mathbf{v}\parallel }_0⩽C_K{\parallel \mathbf{v}\parallel }_0{\parallel \mathbf{v}\parallel }_0,$$

while per Lemma 3 (2) and (52), it satisfies

$${\parallel N\left(\mathbf{v}\right)\mathbf{v}\parallel }_{\alpha }={∥{\gamma }_{\alpha }N\left(\mathbf{v}\right)\mathbf{v}∥}_0⩽{\parallel N\left(\mathbf{v}\right)\parallel }_0{∥{\gamma }_{\alpha }\mathbf{v}∥}_0⩽C_K{\parallel \mathbf{v}\parallel }_0{\parallel \mathbf{v}\parallel }_{\alpha },$$

as well, thus proving (1) and (2). Next, we use the definition of ${\parallel \parallel }_{\mathcal{E}}$ and infer

$$\begin{array}{cc}\hfill {\parallel N\left(\mathbf{v}\right)\mathbf{v}\parallel }_{\mathcal{E}}& =max\left\{{\parallel N\left(\mathbf{v}\right)\mathbf{v}\parallel }_0,{\parallel N\left(\mathbf{v}\right)\mathbf{v}\parallel }_{\alpha }\right\}\hfill \\ & ⩽max\left\{C_K{\parallel \mathbf{v}\parallel }_0{\parallel \mathbf{v}\parallel }_0,C_K{\parallel \mathbf{v}\parallel }_0{\parallel \mathbf{v}\parallel }_{\alpha }\right\}\hfill \\ & ⩽C_K{\parallel \mathbf{v}\parallel }_{\mathcal{E}}{\parallel \mathbf{v}\parallel }_{\mathcal{E}}.\hfill \end{array}$$

With the information that we have now obtained, the spectrum of the linear operator of system (51) is stable in the weighted space and the nonlinear terms of system (51) under the weighted norm satisfy certain locally Lipchitz conditions. Next, we proceed as in the proof of Propostions 4–6 in Section 3 and use similar Bootstrap arguments as those used in the proof of Theorem 1 to finally obtain the following stability result.

Theorem 2.

With an initial value ${\mathbf{v}}^0\in {\mathcal{E}}^n$, let $\mathbf{v}\left(t\right)=v\left(t,{\mathbf{v}}^0\right)$ be the solution of (51) in ${\mathcal{E}}^n$ with $\mathbf{v}\left(0\right)={\mathbf{v}}^0$, and let $k⩾\frac{d+1}{2},{\mathcal{E}}_0=H^k\left({\mathbb{R}}^d\right)$ and ${\mathcal{E}}_{\alpha }=H_{\alpha }^k\left(\mathbb{R}\right)\otimes H^k\left({\mathbb{R}}^{d-1}\right)$. Assuming Hypotheses 1–3, there exist constants $C>0,\nu >0$ and a small ${\delta }_0>0$ such that for each $0<\delta <{\delta }_0$ we can find $\eta >0$ such that, if ${∥{\mathbf{v}}^0∥}_{\mathcal{E}}⩽\eta$, then the following is true for all $t>0$:

• $\mathbf{v}\left(t\right)$ is defined in ${\mathcal{E}}^n$
• ${\parallel \mathbf{v}\left(t\right)\parallel }_{\mathcal{E}}⩽\delta$
• ${\parallel \mathbf{v}\left(t\right)\parallel }_{\alpha }⩽C{e}^{-\nu t}{∥{\mathbf{v}}^0∥}_{\alpha }$
• ${∥{\mathbf{v}}_1\left(t\right)∥}_0⩽C{∥{\mathbf{v}}^0∥}_{\mathcal{E}}$
• ${∥{\mathbf{v}}_2\left(t\right)∥}_0⩽C{e}^{-\nu t}{∥{\mathbf{v}}^0∥}_{\mathcal{E}}$.

As the proof is identical to the proof of Theorem 1, we do not restate it here.

5. Conclusions and Future Work

In this paper, we have studied a class of reaction–diffusion systems usually associated with combustion problems. In particular, they are characterized by a special product triangle structure, that is, the linear operator obtained after linearization of the system with respect to the traveling front has a triangular structure (25) and the nonlinear reaction terms have a product structure. This structure is caused by the strong dependence of the reaction rate on the temperature, which is displayed as a cut-off from the source in terms of mathematical expression. Examples of other systems that possess this type of structure include the exothermic-endothermic chemical reaction

$$\begin{array}{cc}& {\partial }_t{y}_1={\Delta }_{\mathbf{x}}{y}_1+y_2{f}_2\left(y_1\right)-\sigma y_3{f}_3\left(y_1\right)\hfill \\ & {\partial }_t{y}_2=d_2{\Delta }_{\mathbf{x}}{y}_2-y_2{f}_2\left(y_1\right)\hfill \\ & {\partial }_t{y}_3=d_3{\Delta }_{\mathbf{x}}{y}_3-\tau y_3{f}_3\left(y_1\right)\hfill \end{array}$$

Here, $y_1$ is the temperature, $y_2$ is the quantity of exothermic reactant, and $y_3$ is the quantity of endothermic reactant. The parameters $\sigma$ and $\tau$ are positive, and there are positive constants $a_i$ and $b_i$ such that $f_i\left(y_1\right)=a_i{e}^{-\frac{b_i}{y_1}}$ for $y_1>0$ and $f_i\left(y_1\right)=0$ for $y_1⩽0$, as well as the gasless combustion

$${\partial }_{t}u={\Delta }_{\mathbf{x}}u+vg\left(u\right),{\partial }_{t}v=-\beta vg\left(u\right),$$

where $g\left(u\right)=e^{-\frac{1}{u}}$ if $u>0$ and $g\left(u\right)=0$ if $u⩽0$. In this system, u is the temperature, v is the concentration of unburned fuel, g is the unit reaction rate, and $\beta >0$ is a constant parameter.

For a reaction–diffusion system with this structure, we show that if the spectrum of the linear operator projected in one-dimensional space is touching the imaginary axis, a weight function and weighted space can be used to shift the spectrum of the linear operator to the left to obtain the spectral stability of the operator. On the other hand, we show that the nonlinear reaction term with the product form has the local Lipschitz property in the constructed weighted space. By combining these facts, the stability of the steady-state solution of the planar front can be obtained.

However, there are several problems involving this same subject that remain unsolved for the time being. For example, the linear operator obtained by linearizing the system with respect to the planar front has isolated singularities, and each of these isolated singularities extends an infinite semiline in the multidimensional space, as discussed in Remark 3. This which leads us to presuppose, as in [15], that the diffusion coefficients of different variables of the system are identical; interested readers may refer to [15] (Proposition 3.1) for a detailed discussion.