A free boundary problem arising in the ecological models with N-species

Abstract

This paper is concerned with the one-dimensional free boundary problem for quasilinear reaction-diffusion systems arising in the ecological models with N-species, where some of the species are made up of two separated groups and the mankind’s influence is taken into account. In the problem under consideration, there are n free boundaries, the coefficients of the equations are allowed to be discontinuous on the free boundaries and the reaction functions are mixed quasimonotone. The aim is to show the local existence of the solutions for the free boundary problem by the fixed point method, and the global existence and uniqueness of the solutions for the corresponding diffraction problem by the approximation and estimate methods.

Introduction

For some animal species, different groups may live in different habitats separated by free boundaries (see [1]). For the case of one-species and one-dimensional, Kim and Lin [1] proposed a model to describe the evolution of the free boundary. In this paper, we consider the one-dimensional ecological models with N-species where the mankind’s influence is taken into account. Assume that there are N species sharing the same habitat, the one-dimensional domain $(0, d)$. For some $1\leq n \leq N$, assume further that each of the n species is divided into two groups, whereas each of the rest of $N- n$ species has a single group.

To describe the free boundary problem, we introduce some notations:

• $Q_{T} :=(0, d)\times(0, T]$ is the open rectangle (and upper horizontal line).

• $\bar{Q}_{T}$ is the entire closed rectangle.

• $S_{T}$ is made up of the closed left and right boundaries of $Q_{T}$.

• $\Gamma ^{l}_{T}:= \{(x,t): x=\varphi ^{l}(t),0\leq t \leq T \}$ is the free boundary for species l, $l\in\{ 1,\ldots,n\}$.

• $Q^{l-}_{T}:= \{(x,t):0< x<\varphi ^{l}(t),0<t\leq T \}$, $Q^{l+}_{T}:= \{(x,t):\varphi ^{l}(t)< x<d,0<t\leq T \}$ are the subdomains of $Q_{T}$ separated by $\Gamma _{T}^{l}$, $l\in\{1,\ldots,n\}$.

• $Q_{k,T}:= \{(x,t):\varphi ^{k-1}(t)< x<\varphi ^{k}(t),0<t\leq T \}$ is the region between consecutive boundaries, $k\in\{1,\ldots,n+1\}$, where $\varphi ^{0}(t)\equiv0$, $\varphi ^{n+1}(t)\equiv d$ for $0\leq t\leq T$.

Let $u^{l}=u^{l}(x,t)$ be the population density of the lth species. For any $l\in\{1,\ldots,n\}$, the diffusion coefficients of the lth species in $Q^{l-}_{T}$, $Q^{l+}_{T}$ are positive constants $\hat {a}^{l}$ and $\tilde {a}^{l}$, respectively. For any $l\in\{n+1,\ldots,N\}$, the diffusion coefficient of the lth species in the whole domain $Q_{T}$ is positive constant $a^{l}$. Then Fick’s law shows that the flux of the population density can be represented as

$$ J^{l}=\left \{ \begin{array}{@{}l} - \hat {a}^{l} u^{l}_{x} \quad((x,t)\in Q^{l-}_{T}), l=1,\ldots,n,\\ -\tilde {a}^{l}u^{l}_{x}\quad ((x,t)\in Q^{l+}_{T}), l=1,\ldots,n,\\ -a^{l}u^{l}_{x}\quad((x,t)\in Q_{T}), l=n+1,\ldots,N. \end{array} \right . $$

Assume that for each $l\in\{1,\ldots,N\}$, harvesting rate or stocking rate for the lth species depends on its density and flux. Using the principle of conservation, we conclude that the vector functions $\mathbf {u}=(u^{1},\ldots,u^{N})$ and $\boldsymbol {\varphi }=(\varphi ^{1},\ldots, \varphi ^{n})$ are governed by quasilinear reaction-diffusion equations

$$\begin{aligned} &u^{l}_{t}=\left \{ \begin{array}{@{}l} \hat {a}^{l}u^{l}_{xx}+\hat {b}^{l}(u^{l})u^{l}_{x}+G^{l}(x,t,\mathbf {u}) \quad ((x,t)\in Q^{l-}_{T}),\\ \tilde {a}^{l}u^{l}_{xx}+\tilde {b}^{l}(u^{l})u^{l}_{x}+G^{l}(x,t,\mathbf {u}) \quad((x,t)\in Q^{l+}_{T}), \end{array} \right .\quad l=1,\ldots,n, \end{aligned}$$

(1.1a)

$$\begin{aligned} &u^{l}_{t}=a^{l}u^{l}_{xx}+b^{l} \bigl(u^{l} \bigr)u^{l}_{x}+G^{l}(x,t, \mathbf {u}) \quad \bigl((x,t)\in Q_{T} \bigr), l=n+1,\ldots,N, \end{aligned}$$

(1.1b)

where $\hat {b}^{i}(u^{i})u^{i}_{x}$, $\tilde {b}^{i}(u^{i})u^{i}_{x}$ ($i=1,\ldots,n$) and $b^{j}(u^{j})u^{j}_{x}$ ($j=n+1,\ldots,N$) represent the mankind’s influence, and $G^{l}(x,t,\mathbf {u})$ ($l=1,\ldots,N$) are the reaction functions defined by (see the example in Section 5)

$$ G^{l}(x,t,\mathbf {u}):=g^{l}_{k}(\mathbf {u})\quad \bigl((x,t)\in Q_{k,T}, k=1,\ldots,n+1 \bigr). $$

Here and below,

$$\begin{aligned} u^{l}_{t}:=\partial u^{l}/\partial t,\qquad u^{l}_{x}:=\partial u^{l}/\partial x,\qquad u^{l}_{xx}:=\partial^{2} u^{l}/\partial x^{2}. \end{aligned}$$

On the parabolic boundary, u is required to satisfy the condition

$$ u^{l}=\psi^{l}(x,t) \quad \bigl((x,t)\in S_{T}\cup \bigl([0,d]\times\{0\} \bigr) \bigr), l=1,\ldots,N. $$

(1.2)

For each $l\in\{1,\ldots,n\}$, on the free boundary $\Gamma ^{l}_{T}$, assume that the density and the flux are continuous (see [1]). By the conservation law of population, the rate of increase of population $\varphi ^{l}_{t}(t)u^{l-}(\varphi ^{l}(t),t)$ is equal to the flux $-\hat {a}^{l} u^{l-}_{x}(\varphi ^{l}(t),t)$, where $u^{l-}(\varphi ^{l}(t),t)$ and $u^{l+}(\varphi ^{l}(t),t)$ represent the limits of $u^{l}$ from left and right for the space variable, respectively. Then u and φ are required to satisfy the free boundary conditions

$$\begin{aligned}& \left \{ \begin{array}{@{}l} u^{l-}(\varphi ^{l}(t),t)=u^{l+}(\varphi ^{l}(t),t),\\ \hat {a}^{l}u^{l-}_{x}(\varphi ^{l}(t),t)=\tilde {a}^{l}u^{l+}_{x}(\varphi ^{l}(t),t)\quad (t\in[0,T]), l=1,\ldots,n, \end{array} \right . \end{aligned}$$

(1.3)

$$\begin{aligned}& \varphi ^{l}(0)=d^{l},\qquad \varphi ^{l}_{t}(t)u^{l-} \bigl(\varphi ^{l}(t),t \bigr)=-\hat {a}^{l} u^{l-}_{x} \bigl( \varphi ^{l}(t),t \bigr)\quad \bigl(t\in[0,T] \bigr), l=1, \ldots,n. \end{aligned}$$

(1.4)

Condition (1.4) is used to describe the rates of change of the free boundaries.

The motivation to deal with problem (1.1a)-(1.4) are some real processes. For example, consider 4-species system with two predators and two preys, where two predator species comprise two groups of wolves and two groups of lions, two prey species comprise a herd of sheep and a herd of horses, and four species share the same habitat. In each of predator species, the two groups live in different habitats separated by a free boundary and have different diffusion coefficients and biological habits. Then this ecological system can be described by problem (1.1a)-(1.4).

The aim of this paper is to investigate: (i) the global existence and uniqueness of the solutions for diffraction problem (1.1a)-(1.3); (ii) the local existence of the solutions for problem (1.1a)-(1.4).

The free boundary problems often appear in different fields, such as physics, ecology and chemistry. They have been investigated extensively in the literature (see [1–13] and the references therein). For the free boundary problems of single equations, the linear problems describing the flow of fluids in a one-dimensional porous medium were studied by Kamynin [2] and Evans and Friedman [3–5], and the quasilinear problem was studied by Liang [6]. The work in [1] is concerned with the other quasilinear problem describing ecological model with one-species. For the free boundary problems of parabolic systems, Mimura et al. [7], Ling et al. [8] and Lin [9] investigated the problems arising from two-species models in ecology, where the number of the free boundaries is one and the conditions on the free boundary are Stefan conditions. In this paper, there are n free boundaries in problem (1.1a)-(1.4) and the vector functions $\mathbf{g}_{i}(\mathbf {u}):=(g^{1}_{i}(\mathbf {u}),\ldots,g^{N}_{i}(\mathbf {u}))$, $i=1,\ldots,n$, are mixed quasimonotone.

Since for any given $\boldsymbol {\varphi }(t)$, problem (1.1a)-(1.3) is a diffraction problem, we must first investigate the corresponding diffraction problem. In the study of diffraction problem, $\Gamma ^{i}_{T}$, $i=1,\ldots,n$, are called inner boundaries. The papers in [14–16] are concerned with the diffraction problems of parabolic systems with the inner boundaries in the special form $\{x:\varphi _{k}(x)=0\}\times[0,T]$, $k=1,\ldots,K$, where $\varphi _{k}(x)\in C^{2+\alpha _{0}}$. In this paper, by the approximation and estimate methods, we show the existence and uniqueness of the solutions for diffraction problem (1.1a)-(1.3) with the inner boundaries in the form $\Gamma ^{i}_{T}: x=\varphi ^{i}(t)$, $i=1,\ldots,n$, where $\varphi ^{i}(t)\in W^{1}_{2}(0,T)$.

The rest of this paper is organized as follows. In Section 2, we state the notations, definitions, hypotheses and main results. Section 3 is devoted to investigating the global existence and uniqueness of the solutions for the corresponding diffraction problem (1.1a)-(1.3). Section 4 is concerned with the local existence of solutions for the free boundary problem (1.1a)-(1.4) by Schauder’s fixed point theorem. Finally, in Section 5 we give an example.

The notations, hypotheses and main results

Fist, let us define some basic function spaces (see [17])

$$\begin{aligned}& W^{1}_{p}(D):= \bigl\{ v(x): v,v_{x}\in L^{p}(D) \bigr\} \quad(p\geq1), \\& W^{1,0}_{2}(Q_{T}):= \bigl\{ u(x,t):u,u_{x} \in L^{2}(Q_{T}) \bigr\} , \\& W^{1,1}_{2}(Q_{T}):= \bigl\{ u(x,t):u,u_{x},u_{t} \in L^{2}(Q_{T}) \bigr\} , \end{aligned}$$

equipped with the norms

$$\begin{aligned}& \|v\|_{W^{1}_{p}(D)}:=\| v\|_{L^{p}(D)}+\| v_{x} \|_{L^{p}(D)}, \\& \|u\|_{W^{1,0}_{2}(Q_{T})}:=\| u\|_{L^{2}(Q_{T})}+\| u_{x} \|_{L^{2}(Q_{T})}, \\& \|u\|_{W^{1,1}_{2}(Q_{T})}:=\| u\|_{L^{2}(Q_{T})}+\| u_{x} \|_{L^{2}(Q_{T})}+\| u_{t}\|_{L^{2}(Q_{T})}, \end{aligned}$$

respectively, where $D\subset\mathbb{R}$ is an arbitrary interval.

$V_{2}(Q_{T})$ is the Banach space consisting of all elements of $W_{2}^{1,0}(Q_{T})$ having a finite norm

$$\|v\|_{V_{2}(Q_{T})}:= \mathop{\operatorname{ess\,sup}}\limits_{0\leq t\leq T}\|v \|_{L^{2}(0,d)}+\|v_{x}\|_{L^{2}(Q_{T})}. $$

$V_{2}^{1,0}(Q_{T})$ is the Banach space consisting of all elements of $V_{2}(Q_{T})$ that are continuous in t in the norm of $L^{2}(0,d)$ with a finite norm

$$\|v\|_{V_{2}^{1,0}(Q_{T})}:=\max_{0\leq t\leq T}\|v\|_{L^{2}(0,d)}+ \|v_{x}\|_{L^{2}(Q_{T})}. $$

${\stackrel{\circ }{W}}_2^{1,1}(Q_T)$ is the set of all functions in $W_{2}^{1,1}(Q_{T})$ that vanish on $S_{T}$ in the sense of trace. We write $H^{1}(0,d):=W^{1}_{2}(0,d)$.

$C^{\alpha }(\bar{Q}_{T})$ is the spaces of Hölder continuous functions in $\bar{Q}_{T}$ with exponent $\alpha \in(0, 1)$.

The product function spaces with N-components of $W_{2}^{1,1}(Q_{T})$, $V_{2}(Q_{T})$, $V_{2}^{1,0}(Q_{T})$ and $C^{\alpha }(\bar{Q}_{T})$ are denoted by $\mathcal{W}_{2}^{1,1}(\mathcal{Q}_{T})$, $\mathcal{V}_{2}(\mathcal{Q}_{T})$, $\mathcal{V}_{2}^{1,0}(\mathcal{Q}_{T})$ and $\mathcal{C}^{\alpha }(\bar{\mathcal{Q}}_{T})$, respectively, and the product function spaces with n-components of $W^{1}_{p}(0,T)$, $L^{p}(0,T)$ and $C^{\alpha }([0,T])$ are denoted by $\mathbf {W}^{1}_{p}(0,T)$, $\mathbf {L}^{p}(0,T)$ and $\mathbf {C}^{\alpha }([0,T])$, respectively. We note that the norm of $\boldsymbol {\varphi }(t)$ in $\mathbf {L}^{p}([0,T])$ is defined by

$$ \|\boldsymbol {\varphi }\|_{\mathbf {L}^{p}([0,T])}:=\bigl\| \varphi ^{1}\bigr\| _{L^{p}([0,T])}+\cdots+\bigl\| \varphi ^{n}\bigr\| _{L^{p}([0,T])}. $$

Let us recall the following definition. Write the vector u in the split form

$$\mathbf {u}= \bigl(u^{l},[\mathbf {u}]_{\rho^{l}},[\mathbf {u}]_{\omega^{l}} \bigr), $$

and rewrite the functions $f^{l}$ as

$$f^{l}(x,t,\mathbf {u})=f^{l} \bigl(x,t,u^{l},[ \mathbf {u}]_{\rho^{l}},[\mathbf {u}]_{\omega^{l}} \bigr),\quad l=1,\ldots,N, $$

where $\rho^{l}$, $\omega^{l}$ are two nonnegative integers such that $\rho^{l}+\omega^{l}=N-1$ and $[\mathbf {u}]_{\sigma}$ denotes a vector with σ number of component of u. The split form of u varies with respect to l and is determined by the quasimonotone property of $f^{l}$ given as follows.

Definition 2.1

(see [16])

The vector function $\mathbf{f}(\cdot, \mathbf {u}):=(f^{1}(\cdot, \mathbf {u}),\ldots,f^{N}(\cdot, \mathbf {u}))$ is said to be mixed quasimonotone in $\mathcal{J}\subset\mathbb{R}^{N}$ with index vector $([\mathbf {u}]_{\rho^{1}};\ldots;[\mathbf {u}]_{\rho^{N}})$ if for each $l=1,\ldots,N$, there exist nonnegative integers $\varrho^{l}$, $\omega^{l}$, satisfying the relation

$$\rho^{l}+\omega^{l}=N-1, $$

such that $f^{l}(\cdot, u^{l},[\mathbf {u}]_{\rho^{l}},[\mathbf {u}]_{\omega^{l}})$ is nondecreasing in $[\mathbf {u}]_{\varrho^{l}}$ and is nonincreasing in $[\mathbf {u}]_{\omega^{l}}$ for all $\mathbf {u}\in\mathcal{J}$.

Throughout the paper we make the following hypotheses:

(H)

• (i) $d^{i}$, $i=1,\ldots,n$, are constants satisfying the relation $0< d^{1}<\cdots<d^{n}<d$. $\psi^{l}(x,t)$, $l=1,\ldots,N$, are all positive functions, and they possess the following properties: for some constants $\alpha _{0}\in(0,1)$ and $\chi_{0}\in(0,\min\{d^{1}, d-d^{n}\})$,

  $$\begin{aligned}& \psi^{l}(x,t)\in C^{\alpha _{0}} \bigl([-\chi_{0}, d+\chi _{0}]\times[0,T] \bigr)\cap W^{1,1}_{2} \bigl((- \chi_{0}, d+\chi_{0})\times(0,T) \bigr), \\& \psi^{l}(x,t)\in C^{1+\alpha _{0}} \bigl([-\chi_{0}, \chi_{0}]\times[0,T] \bigr)\cap C^{1+\alpha _{0}} \bigl([d- \chi_{0}, d+\chi_{0}]\times[0,T] \bigr), \\& \quad l=1,\ldots,N, \\& \psi^{i}(x,0)\in H^{1}(0,d)\cap C^{2+\alpha _{0}} \bigl( \bigl[0,d^{i} \bigr] \bigr)\cap C^{2+\alpha _{0}} \bigl( \bigl[d^{i},d \bigr] \bigr),\quad i=1,\ldots,n, \\& \psi^{j}(x,0)\in C^{2+\alpha _{0}} \bigl([0,d] \bigr),\quad j=n+1, \ldots,N, \end{aligned}$$

  and

  $$\begin{aligned} \hat {a}^{i}\psi^{i-}_{x} \bigl(d^{i},0 \bigr)=\tilde {a}^{i}\psi^{i+}_{x} \bigl(d^{i},0 \bigr),\quad i=1,\ldots,n. \end{aligned}$$

• (ii) There exist constant vectors $\mathbf{M}:=(M^{1},\ldots ,M^{N})$ and $\mathbf{m}:=(m^{1},\ldots,m^{N})$, $\textbf{0}<\mathbf{m}\leq\mathbf{M}$, such that for each $l=1,\ldots,N$,

  $$ \left \{ \begin{array}{@{}l} g^{l}_{k}( M^{l},[\mathbf{M}]_{\varrho^{l}},[\mathbf{m}]_{\omega^{l}} )\leq 0,\\ g^{l}_{k}( m^{l},[\mathbf{m}]_{\varrho^{l}},[\mathbf{M}]_{\omega^{l}} )\geq0,\quad k=1,\ldots,n+1,\\ m^{l}< \psi^{l}(x,t)<M^{l} \quad((x,t)\in S_{T}\cup\{\Omega \times \{0\} \} ), \end{array} \right . $$

  (2.1)

  where the component $[\mathbf{\mathbf {u}}]_{\varrho^{l}}$ is independent of k. Let

  $$\mathcal{S}:=\{\mathbf{u}\in \mathcal{C}({\overline{\mathcal{Q}}}_T):\mathbf{m}\le \mathbf{u}\le \mathbf{M}\}.$$

  The vector functions $\mathbf{g}_{k}(\mathbf {u})=(g^{1}_{k}(\mathbf {u}),\ldots,g^{N}_{k}(\mathbf {u}))$, $k=1,\ldots,n+1$, are mixed quasimonotone in $\mathcal{S}$ with the same index vector $([\mathbf {u}]_{\rho^{1}};\ldots;[\mathbf {u}]_{\rho^{N}})$.

• (iii) $\hat {b}^{i}(u^{i}),\tilde {b}^{i}(u^{i}), b^{j}(u^{j})\in C^{1+\alpha _{0}}(\mathbb{R})$, $i=1,\ldots,n$, $j=n+1,\ldots,N$, and $g_k^l(\mathbf{u})\in C^{1+{\alpha }_0}(\mathcal{S})$, $k=1,\ldots,n+1$, $l=1,\ldots,N$. There exists a positive nondecreasing function $\mu(\theta)$ for $\theta\in [0,+\infty)$ such that

  $$ \left \{ \begin{array}{@{}l} |\hat {b}^{i}(u^{i}),\tilde {b}^{i}(u^{i})|\leq\mu(|u^{i}|),\quad i=1,\ldots,n,\\ |b^{j}(u^{j})|\leq\mu(|u^{j}|),\quad j=n+1,\ldots,N. \end{array} \right . $$

  (2.2)

Hypothesis (H)(i) implies that there exists a positive constant $\mu_{1}$ such that

$$\begin{aligned} &\bigl\| \psi^{l}(x,t)\bigr\| _{C^{\alpha _{0}}(\bar{Q}_{T})}+\bigl\| \psi^{l}(x,t)\bigr\| _{W^{1,1}_{2}(Q_{T})}+\bigl\| \psi^{l}(x,0) \bigr\| _{H^{1}(0, d)} \\ &\quad{} +\bigl\| \psi^{l}_{x}(x,0)\bigr\| _{C([0, \delta_{0}])}+\bigl\| \psi^{l}_{x}(x,0)\bigr\| _{C([d-\delta_{0}, d])}+\bigl\| \psi^{l}(x,t) \bigr\| _{C^{1+\alpha _{0}}([0, \chi_{0}]\times[0,T])} \\ &\quad{} +\bigl\| \psi^{l}(x,t)\bigr\| _{C^{1+\alpha _{0}}([d-\chi_{0},d]\times[0,T])}\leq\mu _{1}, \quad l=1, \ldots,N, \end{aligned}$$

(2.3)

where $\delta_{0}:=\min_{i=1,\ldots,n+1}(d^{i}-d^{i-1})$, $d^{0}=0$ and $d^{n+1}=d$. Hypothesis (H)(ii) is used to guarantee the existence of the coupled weak upper and lower solutions for the approximation problem of (1.1a)-(1.3). (H)(iii) shows that on $Q_{T}$ the coefficients of the equations are allowed to be discontinuous, but on $Q_{k,T}$ the reaction functions are required to be independent of $(x,t)$ and have Hölder continuous derivatives with respect to u, and on $Q^{l-}_{T}$ and $Q^{l+}_{T}$ the remaining coefficients of the lth equation are also required to be independent of $(x,t)$ and have Hölder continuous derivatives with respect to u.

For convenience, let

$$ A^{l}(x,t):=\left \{ \begin{array}{@{}l@{\quad}l} \hat {a}^{l} &((x,t)\in Q^{l-}_{T}), l=1,\ldots,n,\\ \tilde {a}^{l} &((x,t)\in Q^{l+}_{T}), l=1,\ldots,n,\\ a^{l} &((x,t)\in Q_{T}), l=n+1,\ldots,N, \end{array} \right . $$

and

$$ B^{l} \bigl(x,t,u^{l} \bigr):=\left \{ \begin{array}{@{}l@{\quad}l} \hat {b}^{l}(u^{l}) &((x,t)\in Q^{l-}_{T}), l=1,\ldots,n,\\ \tilde {b}^{l}(u^{l}) &((x,t)\in Q^{l+}_{T}), l=1,\ldots,n,\\ b^{l}(u^{l}) &((x,t)\in Q_{T}), l=n+1,\ldots,N. \end{array} \right . $$

Definition 2.2

For a given $\boldsymbol {\varphi }(t)\in \mathbf {W}^{1}_{2}(0,T)$, a vector function $\mathbf {u}(x,t)$ is said to be a solution of diffraction problem (1.1a)-(1.3) corresponding to $\boldsymbol {\varphi }(t)$ if (i) For each $l=1,\ldots,N$, $u^{l}\in C^{\alpha ,\alpha /2}(\bar{Q}_{T})$ for some $0<\alpha <1$, $u^{l}\in V_{2}^{1,0}(Q_{T})$, $A^{l}(x,t) u^{l}_{x}\in V_{2}(Q_{T})$, $u^{l}_{t}\in L^{2}(Q_{T})$, and $u^{l}\in C^{2+\alpha ,1+\alpha /2}(\bar{Q}')$ for any given $k\in\{1,\ldots,n+1\}$ and any given subdomain $Q', \bar{Q}'\subset Q_{k,T}$; (ii) u satisfies pointwise the equations in (1.1a) and (1.1b) for $(x,t)\in Q_{k,T}$ ($k=1,\ldots,n+1$) and the parabolic boundary condition (1.2), and satisfies the inner boundary condition (1.3) for almost all $t\in[0,T]$; (iii) For any vector function $\mathit{\eta }=({\eta }^1,\dots ,{\eta }^N)\in {\stackrel{\circ }{\mathcal{W}}}_2^{1,1}({\mathcal{Q}}_T)$ and any $\tau\in[0,T]$, the following equalities hold:

$$\begin{aligned} &\int_{0}^{d} u^{l} \eta^{l} \,\mathrm{d}x \Big|_{0}^{\tau}+ \iint_{Q_{\tau}} \bigl\{ -u^{l} \eta^{l}_{t}+A^{l}(x,t)u^{l}_{x} \eta^{l}_{x}- \bigl[B^{l} \bigl(x,t, u^{l} \bigr)u^{l}_{x}+G^{l}(x,t,\mathbf {u}) \bigr] \eta^{l} \bigr\} \,\mathrm{d}x\,\mathrm{d}t \\ &\quad =0,\quad l=1,\ldots,N. \end{aligned}$$

(2.4)

Definition 2.3

$\{\mathbf {u}(x,t), \boldsymbol {\varphi }(t)\}$ is said to be a solution of problem (1.1a)-(1.4) if (i) u is a solution of diffraction problem (1.1a)-(1.3) corresponding to $\boldsymbol {\varphi }(t)$; (ii) $\boldsymbol {\varphi }(t)$ is in $\mathbf {C}^{2+\alpha }((0,T])$, and (1.4) holds for $t\in(0,T]$.

Throughout the paper, $\alpha _{1}$, $\alpha _{2}$, $C(\cdots)$ and $C_{j}(\cdots)$ $(j=1,2, \ldots)$ denote constants depending only on T, d, $d^{i}$, $1/m^{i}$, $M^{i}$ ($i=1,\ldots,n$), $\mu(|\mathbf{M}|)$, $\mu_{1}$, and the quantities appearing in parentheses. Constant C in different expressions may be different.

The main results in this paper are the following theorems.

Theorem 2.1

Let hypothesis (H) be satisfied.

(i) If φ is in $\mathbf {W}^{1}_{2}(0, T)$ and satisfies

$$ \boldsymbol {\varphi }(0)= \bigl(d^{1},\ldots,d^{n} \bigr),\qquad \min _{i=1,\ldots,n+1}\min_{t\in[0,T]} \bigl\{ \varphi ^{i}(t)- \varphi ^{i-1}(t) \bigr\} \geq\delta>0 $$

(2.5)

for some $\delta>0$, then the corresponding diffraction problem (1.1a)-(1.3) has a unique solution u in $\mathcal{S}$. Moreover, the following estimates hold:

$$\begin{aligned}& \bigl\| u^{l}\bigr\| _{C^{\alpha _{1}, \alpha _{1}/2}(\bar{Q}_{T})}\leq C_{1}\quad (0<\alpha _{1}< 1), \end{aligned}$$

(2.6)

$$\begin{aligned}& \bigl\| u^{l}\bigr\| _{V^{1,0}_{2}(Q_{T})} \leq C_{2}(1/ \delta), \end{aligned}$$

(2.7)

$$\begin{aligned}& \begin{aligned}[b] &\mathop{\operatorname{ess\,sup}}\limits_{0\leq t\leq T} \bigl\| u^{l}_{x} \bigr\| _{L^{2}(0, d)}+\bigl\| u^{l}_{t} \bigr\| _{L^{2}(Q_{T})}+\bigl\| \bigl(A(x,t)u^{l}_{x} \bigr)_{x}\bigr\| _{L^{2}(Q_{T})} \\ &\quad\leq C_{3}\bigl(1/\delta,\|\boldsymbol {\varphi }_{t}\|_{\mathbf {L}^{2}(0,T)}\bigr), \end{aligned} \end{aligned}$$

(2.8)

$$\begin{aligned}& \bigl\| u^{l}_{x}\bigr\| _{L^{\infty, 4}(Q_{T})} \leq C_{4}\bigl(1/ \delta,\|\boldsymbol {\varphi }_{t}\|_{\mathbf {L}^{2}(0,T)}\bigr),\quad l=1,\ldots,N. \end{aligned}$$

(2.9)

(ii) If $\boldsymbol {\varphi }_{1}$, $\boldsymbol {\varphi }_{2}$ are in $\mathbf {W}^{1}_{2}(0, T)$ and satisfy (2.5), and if $\mathbf {u}_{1}$, $\mathbf {u}_{2}$ are the solutions in $\mathcal{S}$ corresponding to $\boldsymbol {\varphi }_{1}$ and $\boldsymbol {\varphi }_{2}$, respectively, then

$$\begin{aligned}& \bigl\| u^{l}_{1}-u^{l}_{2} \bigr\| _{V^{1,0}_{2}(Q_{T})}^{2} \leq C\|\boldsymbol {\varphi }_{1}-\boldsymbol {\varphi }_{2} \|_{\mathbf {L}^{2}(0,T)}, \end{aligned}$$

(2.10)

$$\begin{aligned}& \bigl\| u^{l}_{1}-u^{l}_{2} \bigr\| _{L^{\infty,4}(Q_{T})}^{2}\leq C\|\boldsymbol {\varphi }_{1}-\boldsymbol {\varphi }_{2} \|_{\mathbf {L}^{2}(0,T)},\quad l=1,\ldots,N. \end{aligned}$$

(2.11)

(iii) If φ is in $\mathbf {C}^{2}((0, T])$ and u is the solution in $\mathcal{S}$, then for any given $t_{1}\in(0,T)$ and any given $l\in\{1,\ldots,n\}$, $u^{l}_{x}(x,t)$ and $u^{l}_{t}(x,t)$ are continuous with respect to x in $[\varphi ^{l}(t)-\delta/4,\varphi ^{l}(t)]$ and in $[\varphi ^{l}(t),\varphi ^{l}(t)+\delta/4]$ for almost all $t\in[t_{1},T]$, and $u^{l}_{xt}$ is square integrable in $Q^{l}(\delta,t_{1})$, where $Q^{l}(\delta,t_{1}):=\{(x,t):x\in(\varphi ^{l}(t)-\delta/4, \varphi ^{l}(t)+\delta/4),t\in(t_{1},T)\}$.

Theorem 2.2

Let hypothesis (H) hold. Then there exist $T>0$ and a pair of vector functions $\mathbf {u}(x,t)$, $\boldsymbol {\varphi }(t)$, such that $\{\mathbf {u}(x,t), \boldsymbol {\varphi }(t)\}$ is a solution to free boundary problem (1.1a)-(1.4).

The corresponding diffraction problem

Let $\boldsymbol {\varphi }(t)$ be given and let (2.5) hold for some $\delta>0$. The aim of this section is to prove Theorem 2.1.

An approximation problem

We will construct an approximation problem of (1.1a)-(1.3). We first construct some approximation functions.

For an arbitrary $\varepsilon >0$, choose $\boldsymbol {\varphi }_{\varepsilon }=(\varphi ^{1}_{\varepsilon }(t),\ldots, \varphi ^{n}_{\varepsilon }(t))\in \mathbf {C}^{2}([0, T])$ such that $\boldsymbol {\varphi }_{\varepsilon }(t)\to \boldsymbol {\varphi }(t)$ in $\mathbf {W}^{1}_{2}(0, T)$ as $\varepsilon \to0$. Then, for small enough ε,

$$\begin{aligned} \|\boldsymbol {\varphi }_{\varepsilon }\|_{\mathbf {W}^{1}_{2}(0, T)}\leq\|\boldsymbol {\varphi }\|_{\mathbf {W}^{1}_{2}(0, T)} +1. \end{aligned}$$

(3.1)

Let $s_{\varepsilon }=s_{\varepsilon }(\theta)$ be a smooth function with values between 0 and 1 such that $|\mathrm{d}s_{\varepsilon }(\theta)/\mathrm{d}\theta|\leq C/\varepsilon$ for all $\theta\in\mathbb{R}$, $s_{\varepsilon }(\theta)=1$ for $\theta\leq0$ and $s_{\varepsilon }(\theta)=0$ for $\theta\geq \varepsilon$, and let

$$\begin{aligned} z_{\varepsilon ,k}(x,t):=\left \{ \begin{array}{@{}l} \prod_{\tau=1}^{n}s_{\varepsilon }(x-\varphi ^{\tau}_{\varepsilon }(t))\quad ((x,t)\in Q_{T}), k=1,\\ \prod_{\vartheta=1}^{n} [1-s_{\varepsilon }(x-\varphi ^{\vartheta}_{\varepsilon }(t))]\quad ((x,t)\in Q_{T}), k=n+1,\\ \prod_{\tau=k}^{n}s_{\varepsilon }(x-\varphi ^{\tau}_{\varepsilon }(t)) \prod_{\vartheta=1}^{k-1} [1-s_{\varepsilon }(x-\varphi ^{\vartheta}_{\varepsilon }(t)) ] \quad((x,t)\in Q_{T}), k=2,\ldots,n. \end{array} \right . \end{aligned}$$

Define

$$\begin{aligned}& A^{l}_{\varepsilon }(x,t):=\left \{ \begin{array}{@{}l} \hat {a}^{l} s_{\varepsilon }(x-\varphi ^{l}_{\varepsilon }(t))+\tilde {a}^{l}[1-s_{\varepsilon }(x-\varphi ^{l}_{\varepsilon }(t))] \quad((x,t)\in Q_{T}), l=1,\ldots,n,\\ a^{l} \quad((x,t)\in Q_{T}), l=n+1,\ldots,N, \end{array} \right . \end{aligned}$$

(3.2)

$$\begin{aligned}& B^{l}_{\varepsilon }\bigl(x,t,u^{l} \bigr):= \left \{ \begin{array}{@{}l} \hat {b}^{l}(u^{l}) s_{\varepsilon }(x-\varphi ^{l}_{\varepsilon }(t))+\tilde {b}^{l}(u^{l})[1-s_{\varepsilon }(x-\varphi ^{l}_{\varepsilon }(t))]\\ \quad ((x,t)\in Q_{T}), l=1,\ldots,n,\\ b^{l}(u^{l})\quad ((x,t)\in Q_{T}), l=n+1,\ldots,N, \end{array} \right . \end{aligned}$$

(3.3)

and

$$ G_{\varepsilon }^{l}(x,t,\mathbf {u}):=\sum_{k=1}^{n+1} g^{l}_{k}(\mathbf {u}) z_{\varepsilon ,k}(x,t) \quad \bigl((x,t)\in Q_{T} \bigr), l=1,\ldots,N. $$

Then according to hypothesis (H)(ii) and (iii), it follows that the vector function $\mathbf{G}_{\varepsilon }(\cdot, \mathbf {u})=(G^{1}_{\varepsilon }(\cdot, \mathbf {u}),\ldots,G^{N}_{\varepsilon }(\cdot, \mathbf {u}))$ is mixed quasimonotone in $\mathcal{S}$ with index vector $([\mathbf {u}]_{\rho^{1}};\ldots;[\mathbf {u}]_{\rho^{N}})$, and

$$\begin{array}{rl}& A_{\epsilon }^l(x,t)\in C^{1+{\alpha }_0}({\overline{Q}}_T),B_{\epsilon }^l(x,t,u^l)\in C^{1+{\alpha }_0}({\overline{Q}}_T\times \mathbb{R}),\\ & G_{\epsilon }^l(x,t,\mathbf{u})\in C^{1+{\alpha }_0}({\overline{Q}}_T\times \mathcal{S}),\end{array}$$

(3.4)

$$\begin{aligned}& \nu\leq A^{l}_{\varepsilon }(x,t)\leq C,\qquad B^{l}_{\varepsilon }\bigl(x,t,u^{l} \bigr)|\leq\mu \bigl(\bigl|u^{l}\bigr| \bigr), \end{aligned}$$

(3.5)

$$|G_{\epsilon }^l(x,t,\mathbf{u})|\le C((x,t)\in {\overline{Q}}_T,\mathbf{u}\in \mathcal{S}),l=1,\dots ,N,$$

(3.6)

where $\nu:=\min_{i=1,\ldots,n, j=n+1,\ldots,N}\{\hat {a}^{i},\tilde {a}^{i},a^{j}\}$. The definition of function $s_{\varepsilon }(\theta)$ implies that

$$\begin{aligned}& A^{l}_{\varepsilon }(x,t)= \left \{ \begin{array}{@{}l@{\quad}l} \hat {a}^{l} &(x-\varphi ^{l}_{\varepsilon }(t)\leq0),\\ \tilde {a}^{l} &(x-\varphi ^{l}_{\varepsilon }(t)\geq \varepsilon ), \end{array} \right . \end{aligned}$$

(3.7)

$$\begin{aligned}& B^{l}_{\varepsilon }\bigl(x,t,u^{l} \bigr)= \left \{ \begin{array}{@{}l@{\quad}l} \hat {b}^{l}(u^{l}) &(x-\varphi ^{l}_{\varepsilon }(t)\leq0),\\ \tilde {b}^{l}(u^{l}) &(x-\varphi ^{l}_{\varepsilon }(t)\geq \varepsilon ), \end{array} \right .\quad l=1,\ldots,n. \end{aligned}$$

(3.8)

In addition, it is obvious from (2.5) that

$$ \bigcup_{\tau=1}^{k}\bar{Q}_{\tau,T}- \Gamma ^{k}_{T}= \bigl\{ (x,t):x-\varphi ^{k}(t)<0 \bigr\} \cap\bar{Q}_{T}, $$

(3.9)

where $\bar{Q}_{T}$, $\bar{Q}_{\tau,T}$ are the closure of ${Q}_{T}$ and ${Q}_{\tau,T}$, respectively. Thus by (3.9) and the definition of functions $z_{\varepsilon ,k}(x,t)$, an argument similar to the one used in [16, Lemma 3.2] shows that

$$ \sum_{k=1}^{n+1} z_{\varepsilon ,k}(x,t)= 1 \quad \bigl((x,t)\in\bar{Q}_{T} \bigr), $$

and

$$\begin{aligned} G_{\varepsilon }^{l}(x,t,\mathbf {u}) = \left \{ \begin{array}{@{}l} g^{l}_{1}(\mathbf {u}) \quad\mbox{if }x-\varphi ^{1}_{\varepsilon }(t)\leq0,\\ g^{l}_{n+1}(\mathbf {u}) \quad\mbox{if } x-\varphi ^{n}_{\varepsilon }(t)\geq \varepsilon ,\\ g^{l}_{k}(\mathbf {u}) \quad\mbox{if } x-\varphi ^{k-1}_{\varepsilon }(t)\geq \varepsilon \mbox{ and } x-\varphi ^{k}_{\varepsilon }(t)\leq0\\ \quad\mbox{for some } k\in\{2,\ldots,n\},\\ g^{l}_{k-1}(\mathbf {u}) s_{\varepsilon }(x-\varphi ^{k-1}_{\varepsilon }(t)) +g^{l}_{k}(\mathbf {u})[1-s_{\varepsilon }(x-\varphi ^{k-1}_{\varepsilon }(t))]\\ \quad\mbox{if } 0< x-\varphi ^{k-1}_{\varepsilon }(t)<\varepsilon \mbox{ for some } k\in\{2,\ldots,n\}. \end{array} \right . \end{aligned}$$

(3.10)

We next construct the approximation functions of $\psi^{l}(x,t)$. Let $\omega(|x|)$ be a sufficiently smooth nonnegative function such that $\omega(|x|)=0$ for $|x|\geq1$ and $\int_{|x|\leq 1}\omega(x)\,\mathrm{d}x=1$, and let $\lambda =\lambda (x)$ be a sufficiently smooth nonnegative function taking values in $[0,1]$ such that $\lambda (x)=0$ for $\delta\leq x\leq d-\delta$, $\lambda (x)=1$ for $x\leq\delta/2$ or $x\geq d-\delta/2$, and $\lambda _{x}(x)\leq C/\delta$ for all $x\in \mathbb{R}$. Define

$$ \psi_{\varepsilon }^{l}=\psi_{\varepsilon }^{l}(x,t):=\int _{|x-y|\leq \varepsilon }\omega\bigl(|x-y|\bigr) \bigl(1-\lambda (y) \bigr)\psi^{l}(y,t) \,\mathrm{d}y+\lambda (x)\psi^{l}(x,t),\quad l=1,\ldots,N. $$

Then hypothesis (H)(i) and [17, Chapter II] imply that

$$ \left \{ \begin{array}{@{}l} \psi_{\varepsilon }^{l}(x,t)\in C^{\alpha _{0}}(\bar{Q}_{T})\cap W^{1,1}_{2}(Q_{T}), \qquad\psi_{\varepsilon }^{l}(x,0)\in C^{2+\alpha _{0}}([0,d]),\\ \psi_{\varepsilon }^{l}(0,t),\psi_{\varepsilon }^{l}(d,t)\in C^{2+\alpha _{0}}([0,T]),\quad l=1,\ldots,N, \end{array} \right . $$

(3.11)

and

$$\begin{aligned}& \psi_{\varepsilon }^{l}(x,t)\to\psi^{l}(x,t) \quad\mbox{in } C^{\alpha _{0}}(\bar{Q}_{T}) \mbox{ and in }W^{1,1}_{2}(Q_{T}), \\& \psi_{\varepsilon }^{l}(x,0)\to\psi^{l}(x,0) \quad\mbox{in } H^{1}(0,d), \end{aligned}$$

and (2.1) and (2.3) imply that

$$\begin{aligned}& m^{l}\leq\psi^{l}_{\varepsilon }(x,t)\leq M^{l} \quad \bigl((x,t)\in S_{T}\cup \bigl\{ \Omega \times\{0\} \bigr\} \bigr), \end{aligned}$$

(3.12)

$$\begin{aligned}& \bigl\| \psi^{l}_{\varepsilon }(x,t)\bigr\| _{C^{\alpha _{0}}(\bar{Q}_{T})}\leq \mu_{1}+1, \end{aligned}$$

(3.13)

$$\begin{aligned}& \begin{aligned}[b] &\bigl\| \psi^{l}_{\varepsilon }(x,t)\bigr\| _{W^{1,1}_{2}(Q_{T})}+\bigl\| \psi^{l}_{\varepsilon }(x,0)\bigr\| _{H^{1}(0, d)}+\bigl\| \psi^{l}_{\varepsilon x}(x,0) \bigr\| _{C([0, \delta_{0}])} \\ &\quad{} +\bigl\| \psi^{l}_{\varepsilon x}(x,0)\bigr\| _{C([d-\delta_{0}, d])}\leq C(1/ \delta),\quad l=1,\ldots,N. \end{aligned} \end{aligned}$$

(3.14)

In addition, for $\varepsilon <\delta/8$,

$$ \psi^{l}_{\varepsilon }(x,t)=\psi^{l}(x,t) \quad \bigl((x,t)\in \bigl\{ [0,\delta/4]\cup[d-\delta/4] \bigr\} \times [0,T] \bigr). $$

(3.15)

Employing the above approximation functions, we consider the following approximation problem:

$$ \left \{ \begin{array}{@{}l} u^{l}_{t}-(A^{l}_{\varepsilon }(x,t)u^{l}_{x})_{x}=B^{l}_{\varepsilon }(x,t,u^{l})u^{l}_{x}+G^{l}_{\varepsilon }(x,t,\mathbf {u})\quad ((x, t)\in Q_{T}),\\ u^{l}=\psi^{l}_{\varepsilon }(x,t)\quad ((x,t)\in S_{T}\cup([0,d]\times \{0\} ) ), l=1,\ldots,N. \end{array} \right . $$

(3.16)

Lemma 3.1

Problem (3.16) has a unique classical solution $\mathbf {u}_{\varepsilon }$ in $\mathcal{S}$, and the following estimates hold:

$$\begin{aligned}& \bigl\| u^{l}_{\varepsilon }\bigr\| _{C^{\alpha _{2}, \alpha _{2}/2}(\bar{Q}_{T})}\leq C\quad \bigl( \alpha _{2}\in(0, 1) \bigr), \end{aligned}$$

(3.17)

$$\begin{aligned}& \bigl\| u^{l}_{\varepsilon }\bigr\| _{V^{1,0}_{2}(Q_{T})}\leq C(1/ \delta), \end{aligned}$$

(3.18)

$$\begin{aligned}& \bigl|u^{l}_{x}(0,t)\bigr|+\bigl|u^{l}_{x}(d,t)\bigr| \leq C(1/\delta) \quad \bigl(t\in[0,T] \bigr), \end{aligned}$$

(3.19)

$$\begin{aligned}& \max_{[0,T]}\bigl\| u^{l}_{\varepsilon x} \bigr\| _{L^{2}(0,d)}+\bigl\| u^{l}_{\varepsilon t}\bigr\| _{L^{2}(Q_{T})}+\bigl\| \bigl(A^{l}_{\varepsilon }(x,t) u^{l}_{\varepsilon x} \bigr)_{x}\bigr\| _{L^{2}(Q_{T})} \leq C\bigl(1/\delta,\|\boldsymbol {\varphi }_{t}\|_{\mathbf {L}^{2}(0,T)}\bigr), \end{aligned}$$

(3.20)

$$\begin{aligned}& \bigl\| u^{l}_{ \varepsilon x}\bigr\| _{L^{\infty, 4}(Q_{T})} \leq C\bigl(1/\delta,\| \boldsymbol {\varphi }_{t}\|_{\mathbf {L}^{2}(0,T)}\bigr),\quad l=1,\ldots,N, \end{aligned}$$

(3.21)

where constants $\alpha _{2}$ and C are independent of ε.

Proof

In [15], by using the method of upper and lower solutions, together with the associated monotone iterations and various estimates, we investigated the existence and uniqueness of the global piecewise classical solutions of the quasilinear parabolic system with discontinuous coefficients and continuous delays under various conditions including mixed quasimonotone property of reaction functions. The same problem was also discussed for the system with continuous coefficients without time-delay.

It is obvious that problem (3.16) is the special case of [15, problem (1.1)] without discontinuous coefficients and time delays. Hypothesis (H)(ii) shows that $\tilde{\mathbf {u}}=\mathbf{M}$, $\hat{\mathbf {u}}=\mathbf{m}$ are the coupled weak upper and lower solutions of (3.16) in the sense of [15, Definition 2.2]. By (3.4)-(3.6) and (3.11)-(3.14), we conclude from [15, Theorem 4.1] that problem (3.16) has a unique classical solution $\mathbf {u}_{\varepsilon }$ in $\mathcal{S}$. Furthermore, using (3.1), (3.5), (3.6) and (3.12)-(3.14), the proof similar to that of [16, Lemma 3.3] shows that estimates (3.17) and (3.18) hold.

To prove (3.19), we first fix $l\in\{1,\ldots,n\}$. In view of (3.7), (3.8), (3.10) and (3.15), we find that $u^{l}_{\varepsilon }$ is the solution of the following problems for single equation:

$$ \left \{ \begin{array}{@{}l} u^{l}_{\varepsilon t}-(\hat {a}^{l} u^{l}_{\varepsilon x})_{x}=\hat {b}^{l}(u^{l}_{\varepsilon })u^{l}_{\varepsilon x}+g^{l}_{1}(u^{l}_{\varepsilon },[\mathbf {u}_{\varepsilon }]_{\rho^{l}},[\mathbf {u}_{\varepsilon }]_{\omega^{l}})\quad ((x,t)\in(0,\delta/4)\times(0,T]),\\ u^{l}_{\varepsilon }=\psi^{l}(x,t) \quad(x=0, 0\leq t\leq T \mbox{ or } 0\leq x\leq\delta/4, t=0), \end{array} \right . $$

(3.22)

and

$$ \left \{ \begin{array}{@{}l} u^{l}_{\varepsilon t}-(\tilde {a}^{l} u^{l}_{\varepsilon x})_{x}=\tilde {b}^{l}(u^{l}_{\varepsilon })u^{l}_{\varepsilon x}+g^{l}_{n+1}(u^{l}_{\varepsilon },[\mathbf {u}_{\varepsilon }]_{\rho^{l}},[\mathbf {u}_{\varepsilon }]_{\omega^{l}})\\ \quad((x,t)\in(d-\delta/4,d)\times(0,T]),\\ u^{l}_{\varepsilon }=\psi^{l}(x,t) \quad(x=d, 0\leq t\leq T \mbox{ or } d-\delta/4\leq x\leq d, t=0). \end{array} \right . $$

(3.23)

By (3.22), (3.23), (3.12) and (3.14), the proof similar to that of [17, Chapter VI, Lemma 3.1] gives (3.19) for $l\in\{1,\ldots,n\}$. The similar argument shows that (3.19) holds for $l\in\{n+1,\ldots,N\}$.

We next prove (3.20). For any fixed $l\in\{1,\ldots,n\}$, let

$$ y=x-\varphi ^{l}_{\varepsilon }(t),\qquad t'=t\quad (\mbox{denoted by } t \mbox{ still}), $$

and let

$$ q(y, t)=u^{l}_{\varepsilon }\bigl(y+\varphi ^{l}_{\varepsilon }(t),t \bigr). $$

By a direct computation we have

$$ \left \{ \begin{array}{lc}q_{y}(y, t)=u^{l}_{\varepsilon x}(x,t), \qquad q_{t}(y,t)=q_{y}(y,t)\varphi ^{l}_{\varepsilon t}+u^{l}_{\varepsilon t},\\ q_{y}(d-\varphi ^{l}_{\varepsilon }(t),t)=u^{l}_{\varepsilon x}(d,t),\qquad q_{y}(-\varphi ^{l}_{\varepsilon }(t),t)=u^{l}_{\varepsilon x}(0,t),\\ q_{t}(d-\varphi ^{l}_{\varepsilon }(t),t)=u^{l}_{\varepsilon x}(d,t)\varphi ^{l}_{\varepsilon t}+\psi^{l}_{\varepsilon t}(d,t),\\ q_{t}(-\varphi ^{l}_{\varepsilon }(t),t)=u^{l}_{\varepsilon x}(0,t)\varphi ^{l}_{\varepsilon t}+\psi^{l}_{\varepsilon t}(0,t). \end{array} \right . $$

(3.24)

Then (3.16), (3.2), (3.3) and (3.10) imply that the function $q=q(y,t)$ satisfies

$$ \left \{ \begin{array}{@{}l} q_{t}-\{[\hat {a}^{l} s_{\varepsilon }(y)+\tilde {a}^{l}(1-s_{\varepsilon }(y))]q_{y}\}_{y}-q_{y}\varphi ^{l}_{\varepsilon t}\\ \quad=B^{l}_{\varepsilon }(y+\varphi ^{l}_{\varepsilon }(t),t,q)q_{y}+G^{l}_{\varepsilon }(y+\varphi ^{l}_{\varepsilon }(t),t,\mathbf {u}_{\varepsilon }(y+\varphi ^{l}_{\varepsilon }(t),t))\quad ((y,t)\in E^{l}_{T}),\\ q(-\varphi ^{l}_{\varepsilon }(t), t)=\psi^{l}_{\varepsilon }(0,t),\qquad q(d-\varphi ^{l}_{\varepsilon }(t), t)=\psi ^{l}_{\varepsilon }(d,t) \quad (t\in[0,T]),\\ q(y, 0)=\psi^{l}_{\varepsilon }(y+\varphi ^{l}_{\varepsilon }(0),0)\quad (y\in[-\varphi ^{l}_{\varepsilon }(0), d-\varphi ^{l}_{\varepsilon }(0)]), \end{array} \right . $$

(3.25)

where $E^{l}_{T}:=\{(y, t):-\varphi ^{l}_{\varepsilon }(t)< y< d-\varphi ^{l}_{\varepsilon }(t), 0<t\leq T\}$.

A double integration by parts gives

$$\begin{aligned} &{-}\iint_{E^{l}_{\tau}} \bigl\{ \bigl[\hat {a}^{l} s_{\varepsilon }(y)+ \tilde {a}^{l} \bigl(1-s_{\varepsilon }(y) \bigr) \bigr]q_{y} \bigr\} _{y} q_{t}\,\mathrm{d}y\, \mathrm{d}t \\ &\quad =\frac{1}{2}\int_{-\varphi ^{l}_{\varepsilon }(t)}^{d-\varphi ^{l}_{\varepsilon }(t)} \bigl[ \hat {a}^{l} s_{\varepsilon }(y)+\tilde {a}^{l} \bigl(1-s_{\varepsilon }(y) \bigr) \bigr](q_{y})^{2}\,\mathrm{d}y \Big|_{t=0}^{t=\tau} \\ &\qquad{} +\int_{0}^{\tau} \bigl[\hat {a}^{l} s_{\varepsilon }(y)+\tilde {a}^{l} \bigl(1-s_{\varepsilon }(y) \bigr) \bigr] \biggl\{ -q_{y}q_{t}+\frac{1}{2}\varphi ^{l}_{\varepsilon t}(q_{y})^{2} \biggr\} \Big|_{y=-\varphi ^{l}_{\varepsilon }}^{y=d-\varphi ^{l}_{\varepsilon }}\,\mathrm{d}t. \end{aligned}$$

(3.26)

Thus multiplying the equation in (3.25) by $q_{t}$, integrating it on $E^{l}_{\tau}$ and using (3.5), (3.6), (3.24) and (3.26), we find that

$$\begin{aligned} &\frac{1}{2}\int_{-\varphi ^{l}_{\varepsilon }(\tau)}^{d-\varphi ^{l}_{\varepsilon }(\tau)} \bigl[ \hat {a}^{l} s_{\varepsilon }(y)+\tilde {a}^{l} \bigl(1-s_{\varepsilon }(y) \bigr) \bigr] \bigl(q_{y}(y,\tau) \bigr)^{2}\,\mathrm{d}y + \iint_{E^{l}_{\tau}}(q_{t})^{2}\,\mathrm{d}y\,\mathrm{d}t \\ &\quad \leq C\int_{0}^{d} \bigl( \psi^{l}_{x}(x,0) \bigr)^{2}\,\mathrm{d}x+C \iint_{E^{l}_{\tau}} \bigl(\bigl| \varphi ^{l}_{\varepsilon t}\bigr|+1 \bigr) \bigl(|q_{y}|+1\bigr)|q_{t}| \,\mathrm{d}x\,\mathrm{d}t \\ &\qquad{} +C\int_{0}^{\tau}\bigl\{ \bigl|u^{l}_{\varepsilon x}(0,t)\bigr| \bigl[\bigl|u^{l}_{\varepsilon x}(0,t) \varphi ^{l}_{\varepsilon t}\bigr|+\bigl| \psi^{l}_{\varepsilon t}\bigr| \bigr]+\bigl|u^{l}_{\varepsilon x}(d,t)\bigr| \bigl[\bigl|u^{l}_{\varepsilon x}(d,t) \varphi ^{l}_{\varepsilon t}\bigr|+\bigl| \psi^{l}_{\varepsilon t}\bigr| \bigr] \\ &\qquad{} +\bigl|\varphi ^{l}_{\varepsilon t}\bigr| \bigl[ \bigl(u^{l}_{\varepsilon x}(0,t) \bigr)^{2}+ \bigl(u^{l}_{\varepsilon x}(d,t) \bigr)^{2} \bigr] \bigr\} \,\mathrm{d}t. \end{aligned}$$

Furthermore, by (3.12)-(3.14), (3.19) and Cauchy’s inequality, we deduce that for any $\sigma>0$,

$$\begin{aligned} &\frac{1}{2}\nu\int_{-\varphi ^{l}_{\varepsilon }(\tau)}^{d-\varphi ^{l}_{\varepsilon }(\tau)} \bigl(q_{y}(y,\tau) \bigr)^{2}\,\mathrm{d}y + \iint_{E^{l}_{\tau}}(q_{t})^{2} \,\mathrm{d}y\,\mathrm{d}t \\ &\quad\leq\sigma\iint_{E^{l}_{\tau}}(q_{t})^{2}\, \mathrm{d}y\, \mathrm{d} t +C(\sigma)\iint_{E^{l}_{\tau}} \bigl[1+(q_{y})^{2} \bigr] \bigl[1+ \bigl(\varphi ^{l}_{\varepsilon t} \bigr)^{2} \bigr] \,\mathrm{d}y\,\mathrm{d}t+C\bigl(1/\delta,\|\boldsymbol {\varphi }_{t} \|_{\mathbf {L}^{2}(0,T)}\bigr). \end{aligned}$$

Choosing $\sigma=\nu/4$, we get

$$\begin{aligned} &\int_{-\varphi ^{l}_{\varepsilon }(\tau)}^{d-\varphi ^{l}_{\varepsilon }(\tau )} \bigl(q_{y}(y,\tau) \bigr)^{2}\,\mathrm{d}y + \iint_{E^{l}_{\tau}}(q_{t})^{2} \,\mathrm{d}y\,\mathrm{d}t \\ &\quad \leq\int_{0}^{\tau}\biggl\{ \bigl[1+ \bigl( \varphi ^{l}_{\varepsilon t} \bigr)^{2} \bigr]\int _{-\varphi ^{l}_{\varepsilon }(t)}^{d-\varphi ^{l}_{\varepsilon }(t)} \bigl(q_{y}(y,t) \bigr)^{2}\,\mathrm{d}y \biggr\} \,\mathrm{d}t+C\bigl(1/\delta,\| \boldsymbol {\varphi }_{t} \|_{\mathbf {L}^{2}(0,T)}\bigr). \end{aligned}$$

(3.27)

Consequently,

$$\begin{aligned} & \bigl[1+ \bigl(\varphi ^{l}_{\varepsilon t}(\tau) \bigr)^{2} \bigr]\int_{-\varphi ^{l}_{\varepsilon }(\tau)}^{d-\varphi ^{l}_{\varepsilon }(\tau )} \bigl(q_{y}(y,\tau) \bigr)^{2}\,\mathrm{d}y \\ &\quad \leq \bigl[1+ \bigl(\varphi ^{l}_{\varepsilon t}(\tau) \bigr)^{2} \bigr] \int_{0}^{\tau}\biggl\{ \bigl[1+ \bigl(\varphi ^{l}_{\varepsilon t} \bigr)^{2} \bigr]\int _{-\varphi ^{l}_{\varepsilon }(t)}^{d-\varphi ^{l}_{\varepsilon }(t)} \bigl(q_{y}(y,t) \bigr)^{2}\,\mathrm{d}y \biggr\} \,\mathrm{d}t \\ &\qquad{} + \bigl[1+ \bigl(\varphi ^{l}_{\varepsilon t}(\tau) \bigr)^{2} \bigr]C\bigl(1/\delta,\|\boldsymbol {\varphi }_{t}\|_{\mathbf {L}^{2}(0,T)}\bigr). \end{aligned}$$

This, together with Gronwall’s inequality (see [17, Chapter II, Lemma 5.5]), implies that

$$\begin{aligned} \iint_{E^{l}_{\tau}} \bigl[1+ \bigl( \varphi ^{l}_{\varepsilon t} \bigr)^{2} \bigr] \bigl[1+(q_{y})^{2} \bigr]\, \mathrm{d}y \,\mathrm{d}t\leq C\bigl(1/\delta,\|\boldsymbol {\varphi }_{t}\|_{\mathbf {L}^{2}(0,T)}\bigr). \end{aligned}$$

Hence we deduce from (3.25), (3.27), (3.5) and (3.6) that

$$\begin{aligned} &\max_{ 0\leq t\leq T}\int_{-\varphi ^{l}_{\varepsilon }(t)}^{d-\varphi ^{l}_{\varepsilon }(t)} (q_{y})^{2}\,\mathrm{d}y +\iint_{E^{l}_{T}} \bigl\{ (q_{t})^{2}+ \bigl[ \bigl( \bigl(\hat {a}^{l} s_{\varepsilon }(y)+\tilde {a}^{l} \bigl(1-s_{\varepsilon }(y) \bigr) \bigr)q_{y} \bigr)_{y} \bigr]^{2} \bigr\} \, \mathrm{d}y\,\mathrm{d} t \\ &\quad \leq C\bigl(1/\delta,\|\boldsymbol {\varphi }_{t}\|_{\mathbf {L}^{2}(0,T)}\bigr), \end{aligned}$$

which, together with (3.24), yields (3.20) for $l\in \{1,\ldots,n\}$.

For any fixed $l\in\{n+1,\ldots,N\}$, we consider the equality

$$ \iint_{Q_{\tau}} \bigl\{ u^{l}_{\varepsilon t}- \bigl(A^{l}_{\varepsilon }(x,t)u^{l}_{\varepsilon x} \bigr)_{x}-B^{l}_{\varepsilon }\bigl(x,t,u^{l}_{\varepsilon }\bigr)u^{l}_{\varepsilon x}-G^{l}_{\varepsilon }(x,t, \mathbf {u}_{\varepsilon }) \bigr\} u^{l}_{\varepsilon t}\,\mathrm{d}x\, \mathrm{d}t=0. $$

A similar argument gives (3.20) for $l\in\{n+1,\ldots,N\}$. Therefore, (3.20) holds for all $l\in\{1,\ldots,N\}$.

It remains to prove (3.21). For each $l\in\{1,\ldots,N\}$, since $A^{l}_{\varepsilon }(x,t)u^{l}_{\varepsilon x}$ is in $V_{2}(Q_{T})$, then (3.20) and [17, Chapter 2, formula (3.8)] show that

$$\begin{aligned} \nu\bigl\| u^{l}_{\varepsilon x}\bigr\| _{L^{\infty,4}(Q_{T})} \leq& \bigl\| A^{l}_{\varepsilon }(x,t)u^{l}_{\varepsilon x} \bigr\| _{L^{\infty,4}(Q_{T})} \\ \leq& \bigl\| \bigl(A^{l}_{\varepsilon }(x,t)u^{l}_{\varepsilon x} \bigr)_{x}\bigr\| _{L^{2}(Q_{T})}+\sup_{0\leq t\leq T} \bigl\| A^{l}_{\varepsilon }(x,t)u^{l}_{\varepsilon x} \bigr\| _{L^{2}(0,d)} \\ \leq&C\bigl(1/\delta,\|\boldsymbol {\varphi }_{t}\|_{\mathbf {L}^{2}(0,T)}\bigr). \end{aligned}$$

Thus (3.21) holds. □

Lemma 3.2

Let $\mathbf {u}_{\varepsilon _{1}}(x,t)$, $\mathbf {u}_{\varepsilon _{2}}(x,t)$ be the solutions in $\mathcal{S}$ for problem (3.16) corresponding to $\boldsymbol {\varphi }_{\varepsilon _{1}}(t)$ and $\boldsymbol {\varphi }_{\varepsilon _{2}}(t)$, respectively. Then

$$\begin{aligned} \|\mathbf {u}_{\varepsilon _{1}}-\mathbf {u}_{\varepsilon _{2}}\|_{\mathcal{V}^{1,0}_{2}(\mathcal {Q}_{T})}^{2} \leq C\bigl(1/\delta,\|\boldsymbol {\varphi }_{t}\|_{\mathbf {L}^{2}(0,T)}\bigr)I_{3,0}, \end{aligned}$$

(3.28)

where $I_{3,0}:=\sum_{l=1}^{N}\|\psi^{l}_{\varepsilon _{1}}(x,0)-\psi^{l}_{\varepsilon _{2}}(x,0)\| _{H^{1}(0,d)}^{2} +\|\boldsymbol {\varphi }_{\varepsilon _{1}}-\boldsymbol {\varphi }_{\varepsilon _{2}}\|_{\mathbf {L}^{2}(0,T)}+\varepsilon _{1}+\varepsilon _{2}$.

Proof

Let $\mathbf {w}=(w^{1},\ldots,w^{N})=\mathbf {u}_{\varepsilon _{1}}-\mathbf {u}_{\varepsilon _{2}}$, and let $l\in\{1,\ldots,N\}$ be fixed. We see from (3.16) that

$$ \left \{ \begin{array}{@{}l} w^{l}_{t}= \{ [A^{l}_{\varepsilon _{1}}(x,t)-A^{l}_{\varepsilon _{2}}(x,t) ]u^{l}_{\varepsilon _{1} x} \}_{x} + \{A^{l}_{\varepsilon _{2}}(x,t)w^{l}_{x} \}_{x}\\ \hphantom{w^{l}_{t}=}{}+ [B^{l}_{\varepsilon _{1}}(x,t,u^{l}_{\varepsilon _{1}})u^{l}_{\varepsilon _{1} x} -B^{l}_{\varepsilon _{2}}(x,t,u^{l}_{\varepsilon _{2}})u^{l}_{\varepsilon _{2} x} ]\\ \hphantom{w^{l}_{t}=}{}+ [G_{\varepsilon _{1}}^{l}(x,t,\mathbf {u}_{\varepsilon _{1}}) -G_{\varepsilon _{2}}^{l}(x,t,\mathbf {u}_{\varepsilon _{2}}) ]\quad ((x, t)\in Q_{T}), \\ w^{l}=\psi^{l}_{\varepsilon _{1}}(x,t)-\psi^{l}_{\varepsilon _{2}}(x,t)\quad ((x,t)\in S_{T}\cup( [0,d ]\times\{0\} ) ). \end{array} \right . $$

(3.29)

In view of (3.15), we find $w^{l}(0,t)=w^{l}(d,t)=0$. Multiplying the equation in (3.29) by $w^{l}$ and integrating by parts on $Q_{\tau}$, we deduce that, for any $\tau\in[0,T]$,

$$\begin{aligned} &\frac{1}{2}\int_{0}^{d} \bigl(w^{l} \bigr)^{2}\,\mathrm{d}x \Big|_{t=0}^{t=\tau} + \iint_{Q_{\tau}}A^{l}_{\varepsilon _{2}}(x,t) \bigl(w^{l}_{x} \bigr)^{2}\,\mathrm{d}x\,\mathrm{d}t \\ &\quad =\iint_{Q_{\tau}}- \bigl[A^{l}_{\varepsilon _{1}}(x,t)-A^{l}_{\varepsilon _{2}}(x,t) \bigr]u^{l}_{\varepsilon _{1} x}w^{l}_{x}\,\mathrm{d}x \,\mathrm{d}t \\ &\qquad{} +\iint_{Q_{\tau}} \bigl[B^{l}_{\varepsilon _{1}} \bigl(x,t,u^{l}_{\varepsilon _{1}} \bigr)u^{l}_{\varepsilon _{1} x} -B^{l}_{\varepsilon _{2}} \bigl(x,t,u^{l}_{\varepsilon _{2}} \bigr)u^{l}_{\varepsilon _{2} x} \bigr]w^{l}\,\mathrm{d}x\, \mathrm{d}t \\ &\qquad{} +\iint_{Q_{\tau}} \bigl[G_{\varepsilon _{1}}^{l}(x,t, \mathbf {u}_{\varepsilon _{1}}) -G_{\varepsilon _{2}}^{l}(x,t,\mathbf {u}_{\varepsilon _{2}}) \bigr]w^{l}\,\mathrm{d}x\,\mathrm{d}t \\ &\quad =:I^{l}_{3,1}+I^{l}_{3,2}+I^{l}_{3,3}. \end{aligned}$$

(3.30)

Let us estimate $I^{l}_{3,1}$, $I^{l}_{3,2}$ and $I^{l}_{3,3}$. Since (3.2), (3.3) and (3.10) imply that

$$\begin{aligned}& A^{l}_{\varepsilon _{1}}(x,t)-A^{l}_{\varepsilon _{2}}(x,t) = \left \{ \begin{array}{@{}l} {[}s_{\varepsilon _{1}}(x-\varphi ^{l}_{\varepsilon _{1}}(t))-s_{\varepsilon _{2}}(x-\varphi ^{l}_{\varepsilon _{2}}(t)) ](\hat {a}^{l}-\tilde {a}^{l}),\quad l=1,\ldots,n,\\ 0,\quad l=n+1,\ldots,N, \end{array} \right . \\& \begin{aligned}[b] &\bigl|B^{l}_{\varepsilon _{1}} \bigl(x,t,u^{l}_{\varepsilon _{1}} \bigr)u^{l}_{\varepsilon _{1} x} -B^{l}_{\varepsilon _{2}} \bigl(x,t,u^{l}_{\varepsilon _{2}} \bigr)u^{l}_{\varepsilon _{2} x} \bigr| \\ &\quad =\left \{ \begin{array}{@{}l} |[s_{\varepsilon _{1}}(x-\varphi ^{l}_{\varepsilon _{1}}(t))-s_{\varepsilon _{2}}(x-\varphi ^{l}_{\varepsilon _{2}}(t)) ] [\hat {b}^{l}(u^{l}_{\varepsilon _{1}})-\tilde {b}^{l}(u^{l}_{\varepsilon _{1}}) ]u^{l}_{\varepsilon _{1} x}\\ \quad{}+s_{\varepsilon _{2}}(x-\varphi ^{l}_{\varepsilon _{2}}(t)) [\hat {b}^{l}(u^{l}_{\varepsilon _{1}})u^{l}_{\varepsilon _{1} x}-\hat {b}^{l}(u^{l}_{\varepsilon _{2}})u^{l}_{\varepsilon _{2} x} ]\\ \quad{}+[1-s_{\varepsilon _{2}}(x-\varphi ^{l}_{\varepsilon _{2}}(t)) ] [\tilde {b}^{l}(u^{l}_{\varepsilon _{1}})u^{l}_{\varepsilon _{1} x}-\tilde {b}^{l}(u^{l}_{\varepsilon _{2}})u^{l}_{\varepsilon _{2} x} ] |,\quad l=1,\ldots,n,\\ |{[}b^{l}(u^{l}_{\varepsilon _{1}})-b^{l}(u^{l}_{\varepsilon _{2}}) ]u^{l}_{\varepsilon _{1} x}+b^{l}(u^{l}_{\varepsilon _{2}})(u^{l}_{\varepsilon _{1} x}-u^{l}_{\varepsilon _{2} x}) |,\quad l=n+1,\ldots,N \end{array} \right . \\ &\quad \leq C\sum_{l=1}^{n} \bigl| \bigl[s_{\varepsilon _{1}} \bigl(x-\varphi ^{l}_{\varepsilon _{1}}(t) \bigr)-s_{\varepsilon _{2}} \bigl(x-\varphi ^{l}_{\varepsilon _{2}}(t) \bigr) \bigr] \bigr|\bigl| u^{l}_{\varepsilon _{1} x}\bigr|+C\sum_{l=1}^{N} \bigl[\bigl|w^{l}\bigr|\bigl|u^{l}_{\varepsilon _{1}x}\bigr|+\bigl|w^{l}_{x}\bigr| \bigr], \end{aligned} \end{aligned}$$

and

$$\begin{aligned} &G_{\varepsilon _{1}}^{l}(x,t,\mathbf {u}_{\varepsilon _{1}}) -G_{\varepsilon _{2}}^{l}(x,t, \mathbf {u}_{\varepsilon _{2}}) \\ &\quad =\left \{ \begin{array}{@{}l} g^{l}_{1}(\mathbf {u}_{\varepsilon _{1}})-g^{l}_{1}(\mathbf {u}_{\varepsilon _{2}}) \quad\mbox{if } x\leq\min(\varphi ^{1}_{\varepsilon _{1}}(t),\varphi ^{1}_{\varepsilon _{2}}(t)),\\ g^{l}_{n+1}(\mathbf {u}_{\varepsilon _{1}})-g^{l}_{n+1}(\mathbf {u}_{\varepsilon _{2}}) \quad\mbox{if } x\geq\max(\varphi ^{n}_{\varepsilon _{1}}(t)+\varepsilon _{1},\varphi ^{n}_{\varepsilon _{2}}(t)+\varepsilon _{2}),\\ g^{l}_{k}(\mathbf {u}_{\varepsilon _{1}})-g^{l}_{k}(\mathbf {u}_{\varepsilon _{2}}) \quad\mbox{if } x\leq\min(\varphi ^{k}_{\varepsilon _{1}}(t),\varphi ^{k}_{\varepsilon _{2}}(t)) \mbox{ and}\\ \quad x\geq\max(\varphi ^{k-1}_{\varepsilon _{1}}(t)+\varepsilon _{1},\varphi ^{k-1}_{\varepsilon _{2}}(t)+\varepsilon _{2}) \mbox{ for } k\in\{2,\ldots,n\},\\ G_{\varepsilon _{1}}^{l}(x,t,\mathbf {u}_{\varepsilon _{1}}) -G_{\varepsilon _{2}}^{l}(x,t,\mathbf {u}_{\varepsilon _{2}}) \\ \quad\mbox{if } \min(\varphi ^{k}_{\varepsilon _{1}}(t),\varphi ^{k}_{\varepsilon _{2}}(t))< x< \max(\varphi ^{k}_{\varepsilon _{1}}(t)+\varepsilon _{1},\varphi ^{k}_{\varepsilon _{2}}(t)+\varepsilon _{2}) \quad\mbox{for } k\in\{1,\ldots,n\}, \end{array} \right . \end{aligned}$$

then it follows from Cauchy’s inequality that, for any $\sigma>0$,

$$\begin{aligned} &I^{l}_{3,1}\leq\sigma\iint_{Q_{\tau}}| \mathbf {w}_{x}|^{2}\,\mathrm{d}x\,\mathrm{d}t+C( \sigma)I_{3,4}, \end{aligned}$$

(3.31)

$$\begin{aligned} &I^{l}_{3,2}\leq\sigma\iint_{Q_{\tau}}| \mathbf {w}_{x}|^{2}\,\mathrm{d}x\,\mathrm{d}t+C(\sigma) \iint_{Q_{\tau}}| \mathbf {w}|^{2}\,\mathrm{d}x\,\mathrm{d}t+CI_{3,4}+CI_{3,5} \end{aligned}$$

(3.32)

and

$$\begin{aligned} I^{l}_{3,3} \leq& \sum _{k=1}^{n+1} \iint_{Q_{\tau}}\bigl|g^{l}_{k}( \mathbf {u}_{\varepsilon _{1}}) -g^{l}_{k}(\mathbf {u}_{\varepsilon _{2}})\bigr|\bigl|w^{l}\bigr| \, \mathrm{d}x\,\mathrm{d}t \\ &{}+\sum_{k=1}^{n}\int _{0}^{\tau}\int_{\min\{\varphi ^{k}_{\varepsilon _{1}},\varphi ^{k}_{\varepsilon _{2}}\}}^{\max\{\varphi ^{k}_{\varepsilon _{1}}+\varepsilon _{1},\varphi ^{k}_{\varepsilon _{2}}+\varepsilon _{2}\}}\bigl|G_{\varepsilon _{1}}^{l}(x,t, \mathbf {u}_{\varepsilon _{1}}) -G_{\varepsilon _{2}}^{l}(x,t,\mathbf {u}_{\varepsilon _{2}})\bigr|\bigl|w^{l}\bigr| \,\mathrm{d}x\,\mathrm{d}t \\ \leq& C\iint_{Q_{\tau}}|\mathbf {w}|^{2}\,\mathrm{d}x\,\mathrm{d}t+C\sum _{k=1}^{n}\bigl\| \bigl|\varphi ^{k}_{\varepsilon _{1}}- \varphi ^{k}_{\varepsilon _{2}}\bigr|+\varepsilon _{1}+\varepsilon _{2} \bigr\| _{L^{2}(0,\tau)}, \end{aligned}$$

(3.33)

where

$$\begin{aligned}& I_{3,4}:=\sum_{l=1}^{n} \iint_{Q_{\tau}} \Biggl[1+\sum_{j=1}^{2} \bigl(u^{l}_{\varepsilon _{j}x} \bigr)^{2} \Biggr] \bigl[s_{\varepsilon _{1}} \bigl(x-\varphi ^{l}_{\varepsilon _{1}}(t) \bigr)-s_{\varepsilon _{2}} \bigl(x-\varphi ^{l}_{\varepsilon _{2}}(t) \bigr) \bigr]^{2} \,\mathrm{d}x\,\mathrm{d}t, \\& I_{3,5}:=\sum_{l=1}^{N} \iint_{Q_{\tau}} \Biggl[1+\sum_{j=1}^{2} \bigl(u^{l}_{\varepsilon _{j}x} \bigr)^{2} \Biggr] \bigl(w^{l} \bigr)^{2}\,\mathrm{d}x\,\mathrm{d}t. \end{aligned}$$

According to the definition of function $s_{\varepsilon }(\theta)$, we see that $s_{\varepsilon _{1}} (x-\varphi ^{l}_{\varepsilon _{1}}(t))-s_{\varepsilon _{2}}(x-\varphi ^{l}_{\varepsilon _{2}}(t))=0$ if $x<\min\{\varphi ^{l}_{\varepsilon _{1}}(t), \varphi ^{l}_{\varepsilon _{2}}(t)\}$ or $x>\max\{\varphi ^{l}_{\varepsilon _{1}}(t)+\varepsilon _{1},\varphi ^{l}_{\varepsilon _{2}}(t)+\varepsilon _{2}\}$. Thus by (3.21) we have

$$\begin{aligned} I_{3,4} \leq&\sum_{l=1}^{n} \Biggl\{ \int_{0}^{\tau}\Biggl(1+\sum _{l,j=1}^{2}\bigl\| u^{l}_{\varepsilon _{j}x}\bigr\| ^{2}_{L^{\infty}(0,d)} \Biggr)^{2}\,\mathrm{d}t \Biggr\} ^{1/2} \\ &{} \times \biggl\{ \int_{0}^{\tau}\biggl[\int _{0}^{d} \bigl(s_{\varepsilon _{1}} \bigl(x- \varphi ^{l}_{\varepsilon _{1}}(t) \bigr)-s_{\varepsilon _{2}} \bigl(x- \varphi ^{l}_{\varepsilon _{2}}(t) \bigr) \bigr)^{2}\,\mathrm{d}x \biggr]^{2}\,\mathrm{d}t \biggr\} ^{1/2} \\ \leq& C\bigl(1/\delta,\|\boldsymbol {\varphi }_{t}\|_{\mathbf {L}^{2}(0,T)}\bigr)\sum _{l=1}^{n} \biggl\{ \int_{0}^{\tau}\biggl[\int_{\min\{\varphi ^{l}_{\varepsilon _{1}},\varphi ^{l}_{\varepsilon _{2}}\}}^{\max\{\varphi ^{l}_{\varepsilon _{1}}+\varepsilon _{1},\varphi ^{l}_{\varepsilon _{2}}+\varepsilon _{2}\}}1\,\mathrm{d}x \biggr]^{2} \,\mathrm{d}t \biggr\} ^{1/2} \\ \leq&C\bigl(1/\delta,\|\boldsymbol {\varphi }_{t}\|_{\mathbf {L}^{2}(0,T)}\bigr)\sum _{l=1}^{n} \bigl\| \bigl|\varphi ^{l}_{\varepsilon _{1}}- \varphi ^{l}_{\varepsilon _{2}}\bigr|+\varepsilon _{1}+\varepsilon _{2} \bigr\| _{L^{2}(0,\tau)} \end{aligned}$$

(3.34)

and

$$\begin{aligned} I_{3,5}\leq\int_{0}^{\tau}\Biggl[ \Biggl(1+\sum_{j=1}^{2}\|\mathbf {u}_{\varepsilon _{j}x} \|^{2}_{\mathbf {L}^{\infty}(0,d)} \Biggr)\int_{0}^{d} |\mathbf {w}|^{2}\,\mathrm{d}x \Biggr]\,\mathrm{d}t. \end{aligned}$$

(3.35)

Summing equality (3.30) with respect to l from $l=1$ to $l=N$, using (3.31)-(3.35) and Minkowski’s inequality, and choosing $\sigma=\nu/8$, we then conclude that

$$\begin{aligned} &\int_{0}^{d} |\mathbf {w}|^{2}(x,\tau)\, \mathrm{d}x + \int_{0}^{\tau}\int_{0}^{d}| \mathbf {w}_{x}|^{2}\,\mathrm{d}x\,\mathrm{d}t \\ &\quad \leq C\bigl(1/\delta,\|\boldsymbol {\varphi }_{t}\|_{\mathbf {L}^{2}(0,T)}\bigr) \Biggl\{ \int _{0}^{\tau}\Biggl[ \Biggl(1+\sum _{j=1}^{2}\|\mathbf {u}_{\varepsilon _{j}x}\|^{2}_{\mathbf {L}^{\infty}(0,d)} \Biggr)\int_{0}^{d} |\mathbf {w}|^{2}\, \mathrm{d}x \Biggr]\,\mathrm{d}t+I_{3,0} \Biggr\} . \end{aligned}$$

This, together with Gronwall’s inequality, yields

$$\begin{aligned} &\int_{0}^{\tau}\Biggl[ \Biggl(1+\sum _{j=1}^{2}\|\mathbf {u}_{\varepsilon _{j}x}\|^{2}_{\mathbf {L}^{\infty}(0,d)} \Biggr)\int_{0}^{d} |\mathbf {w}|^{2}\, \mathrm{d}x \Biggr]\,\mathrm{d}t \\ &\quad \leq C\bigl(1/\delta,\|\boldsymbol {\varphi }_{t}\|_{\mathbf {L}^{2}(0,T)}\bigr)I_{3,0} \exp \Biggl\{ C\int_{0}^{T} \Biggl(1+\sum _{j=1}^{2}\|\mathbf {u}_{\varepsilon _{j}x}\|^{2}_{\mathbf {L}^{\infty}(0,d)} \Biggr)\,\mathrm{d}t \Biggr\} \\ &\qquad{} \times\int_{0}^{T} \Biggl(1+\sum _{j=1}^{2}\|\mathbf {u}_{\varepsilon _{j}x} \|^{2}_{\mathbf {L}^{\infty}(0,d)} \Biggr)\,\mathrm{d}t. \end{aligned}$$

Combining the two inequalities above and (3.21) leads us to estimate (3.28). □

The solutions of the diffraction problem

Proof of Theorem 2.1

We divide the proof into three steps.

Step 1. We prove the global existence of the solutions. Let us discuss the behavior of the solution $\mathbf {u}_{\varepsilon }$ associated with $\boldsymbol {\varphi }_{\varepsilon }(t)$ by Theorem 2.1 as $\varepsilon \to0$.

We first see from (3.16) that for any $\tau\in[0,T]$ and any vector function $\mathit{\eta }\in {\stackrel{\circ }{\mathcal{W}}}_2^{1,1}({\mathcal{Q}}_T)$,

$$\begin{aligned} &\int_{0}^{d} u^{l}_{\varepsilon }\eta^{l}\,\mathrm{d}x \Big|_{0}^{\tau}+ \iint_{Q_{\tau}} \bigl\{ -u^{l}_{\varepsilon }\eta^{l}_{t}+A^{l}_{\varepsilon }(x,t)u^{l}_{\varepsilon x}\eta^{l}_{x}- \bigl[B^{l}_{\varepsilon }\bigl(x,t, u^{l}_{\varepsilon }\bigr)u^{l}_{\varepsilon x}+G^{l}_{\varepsilon }(x,t, \mathbf {u}_{\varepsilon }) \bigr]\eta^{l} \bigr\} \,\mathrm{d}x\,\mathrm{d}t \\ &\quad =0,\quad l=1,\ldots,N. \end{aligned}$$

(3.36)

Furthermore, according to estimates (3.17), (3.20), (3.28) and the Arzela-Ascoli theorem, we conclude that there exists a subsequence (we retain the same notation for it) $\{\mathbf {u}_{\varepsilon }\}$ such that

$$\begin{aligned}& \mathbf {u}_{\varepsilon }\to \mathbf {u}\quad\mbox{in }\mathcal{C}(\bar{Q}_{T}), \qquad \mathbf {u}_{\varepsilon t}\rightharpoonup \mathbf {u}_{t} \quad\mbox{weakly in } \mathcal {L}^{2}(Q_{T}),\\& \mathbf {u}_{\varepsilon }\to \mathbf {u}\quad \mbox{in } \mathcal{V}_{2}^{1, 0}(\mathcal{Q}_{T}). \end{aligned}$$

Thus u is in $\mathcal{C}^{\alpha _{1},\alpha _{1}/2}(\bar{\mathcal {Q}}_{T})$, u satisfies the parabolic condition (1.2), and estimates (2.6) and (2.7) hold.

We next show that for each $l=1,\ldots,N$, the sequences $\{A^{l}_{\varepsilon }(x,t)u^{l}_{\varepsilon x}\}$, $\{B^{l}_{\varepsilon }(x,t,u^{l}_{\varepsilon })u^{l}_{\varepsilon x}\}$, $\{G_{\varepsilon }^{l}(x,t,\mathbf {u}_{\varepsilon })\}$ converge in $L^{2}(Q_{T})$ to $A^{l}(x,t)u^{l}_{x}$, $B^{l}(x,t,u^{l}) u^{l}_{x}$ and $G^{l}(x,t,\mathbf {u})$, respectively. Since

$$\begin{aligned} &\operatorname{mes} \bigl\{ (x, t): \min \bigl(\varphi ^{i}_{\varepsilon }(t), \varphi ^{i}(t) \bigr)\leq x\leq\max \bigl(\varphi ^{i}_{\varepsilon }(t)+ \varepsilon , \varphi ^{i}(t)+\varepsilon \bigr), 0\leq t\leq T \bigr\} \\ &\quad \to0 \quad\mbox{as }\varepsilon \to0, i=1,\ldots,n, \end{aligned}$$

and

$$\begin{aligned} \bigl(u^{l}_{\varepsilon x} \bigr)^{2}= \bigl(u^{l}_{\varepsilon x}-u^{l}_{x}+u^{l}_{x} \bigr)^{2}\leq2 \bigl(u^{\varepsilon }_{lx}-u^{l}_{x} \bigr)^{2}+2 \bigl(u^{l}_{x} \bigr)^{2}, \end{aligned}$$

then it follows from (2.2), (3.3) and Lebesgue dominated convergence theorem that

$$\begin{aligned} &\iint_{Q_{T}} \bigl[B^{l}_{\varepsilon }\bigl(x,t,u^{l}_{\varepsilon }\bigr)u^{l}_{\varepsilon x}-B^{l} \bigl(x,t,u^{l} \bigr) u^{l}_{x} \bigr]^{2}\,\mathrm{d}x\,\mathrm{d}t \\ &\quad =\int_{0}^{T} \biggl\{ \int _{0}^{\min{(\varphi ^{l}_{\varepsilon },\varphi ^{l}})} \bigl[\hat {b}\bigl(u^{l}_{\varepsilon }\bigr) u^{l}_{\varepsilon x}-\hat {b}\bigl(u^{l} \bigr)u^{l}_{x} \bigr]^{2} \\ &\qquad{}+\int ^{d}_{\max(\varphi ^{l}_{\varepsilon }+\varepsilon , \varphi ^{l}+\varepsilon )} \bigl[\tilde {b}\bigl(u^{l}_{\varepsilon }\bigr) u^{l}_{\varepsilon x}-\tilde {b}\bigl(u^{l} \bigr)u^{l}_{x} \bigr]^{2} \\ &\qquad{} +\int_{\min(\varphi ^{l}_{\varepsilon },\varphi ^{l})} ^{\max(\varphi ^{l}_{\varepsilon }+\varepsilon , \varphi ^{l}+\varepsilon )} \bigl[B^{l}_{\varepsilon }\bigl(x,t,u^{l}_{\varepsilon }\bigr)u^{l}_{\varepsilon x}-B^{l} \bigl(x,t,u^{l} \bigr) u^{l}_{x} \bigr]^{2}\,\mathrm{d}x \biggr\} \,\mathrm{d}t \\ &\quad \leq C\iint_{Q_{T}} \bigl(u^{l}_{\varepsilon }-u^{l} \bigr)^{2} \bigl(1+\bigl|u^{l}_{x}\bigr| \bigr)^{2} \,\mathrm{d}x\,\mathrm{d}t+C\iint_{Q_{T}} \bigl(u^{l}_{\varepsilon x}-u^{l}_{x} \bigr)^{2}\,\mathrm{d}x\,\mathrm{d}t \\ &\qquad{} +C\int_{0}^{T}\int_{\min(\varphi ^{l}_{\varepsilon },\varphi ^{l})} ^{\max(\varphi ^{l}_{\varepsilon }+\varepsilon , \varphi ^{l}+\varepsilon )} \bigl[ \bigl(u^{l}_{\varepsilon x }-u^{l}_{x} \bigr)^{2}+ \bigl(u^{l}_{x} \bigr)^{2}+1 \bigr]\,\mathrm{d}x\,\mathrm{d}t \\ &\quad \to0 \quad\mbox{as } \varepsilon \to0, l\in\{1,\ldots,n\}, \end{aligned}$$

and

$$\begin{aligned} &\iint_{Q_{T}} \bigl[B^{l}_{\varepsilon }\bigl(x,t,u^{l}_{\varepsilon }\bigr)u^{l}_{\varepsilon x}-B^{l} \bigl(x,t,u^{l} \bigr) u^{l}_{x} \bigr]^{2}\,\mathrm{d}x\,\mathrm{d}t \\ &\quad =\iint_{Q_{T}} \bigl[b^{l} \bigl(u^{l}_{\varepsilon }\bigr)u^{l}_{\varepsilon x}-b^{l} \bigl(u^{l} \bigr) u^{l}_{x} \bigr]^{2}\,\mathrm{d}x\, \mathrm{d}t \\ &\quad \leq C\iint_{Q_{T}} \bigl(u^{l}_{\varepsilon }-u^{l} \bigr)^{2} \bigl(1+\bigl|u^{l}_{x}\bigr| \bigr)^{2} \,\mathrm{d}x\,\mathrm{d}t+C\iint_{Q_{T}} \bigl(u^{l}_{\varepsilon x}-u^{l}_{x} \bigr)^{2}\,\mathrm{d}x\,\mathrm{d}t \\ &\quad \to0 \quad\mbox{as } \varepsilon \to0, l\in\{n+1,\ldots,N\}, \end{aligned}$$

and from (3.10) that

$$\begin{aligned} &\iint_{Q_{T}} \bigl[G_{\varepsilon }^{l}(x,t, \mathbf {u}_{\varepsilon })-G^{l}(x,t,\mathbf {u}) \bigr]^{2}\,\mathrm{d}x\, \mathrm{d}t \\ &\quad\leq \sum_{k=1}^{n+1} \iint_{Q_{T}} \bigl[g^{l}_{k}(\mathbf {u}_{\varepsilon }) -g^{l}_{k}( \mathbf {u}) \bigr]^{2}\,\mathrm{d}x\, \mathrm{d}t \\ &\qquad{} +\sum_{k=1}^{n}\int _{0}^{\tau}\int_{\min\{\varphi ^{k}_{\varepsilon },\varphi ^{k}\}}^{\max\{\varphi ^{k}_{\varepsilon }+\varepsilon ,\varphi ^{k}+\varepsilon \}} \bigl[G_{\varepsilon }^{l}(x,t, \mathbf {u}_{\varepsilon }) -G^{l}(x,t,\mathbf {u}) \bigr]^{2}\,\mathrm{d}x\,\mathrm{d}t \\ &\quad \leq C\iint_{Q_{T}}|\mathbf {u}_{\varepsilon } -\mathbf {u}|^{2}\, \mathrm{d}x\,\mathrm{d} t+C\sum_{k=1}^{n} \int_{0}^{\tau}\int_{\min\{\varphi ^{k}_{\varepsilon },\varphi ^{k}\}}^{\max\{\varphi ^{k}_{\varepsilon }+\varepsilon ,\varphi ^{k}+\varepsilon \}}1 \,\mathrm{d}x\,\mathrm{d}t \\ &\quad \to0,\quad l\in\{1,\ldots,N\}. \end{aligned}$$

The similar argument shows that $\|A^{l}_{\varepsilon }(x,t)u^{l}_{\varepsilon x}-A^{l}(x,t) u^{l}_{x}\|_{L^{2}(Q_{T})}\to0$ for each $l=1,\ldots,N$.

Based on the above arguments for sequences $\{A^{l}_{\varepsilon }(x,t)u^{l}_{\varepsilon x}\}$, $\{B^{l}_{\varepsilon }(x,t,u^{l}_{\varepsilon })u^{l}_{\varepsilon x}\}$, $\{G_{\varepsilon }^{l}(x,t,\mathbf {u}_{\varepsilon })\}$ and $\{u^{l}_{\varepsilon t}\}$, by letting $\varepsilon \to0$, we conclude from (3.36) that (2.4) holds.

We also see from (3.20) that there exists a subsequence $\{\mathbf {u}_{\varepsilon '}\}$ (denoted by $\{\mathbf {u}_{\varepsilon }\}$ still) such that for each $l=1,\ldots,N$, $\{(A_{\varepsilon }(x,t)u^{l}_{\varepsilon x})_{x}\}$ converge weakly in $L^{2}(Q_{T})$ to $\varpi^{l}(x,t)$. Recalling that $A_{\varepsilon }(x,t)u^{l}_{\varepsilon x}\to A(x,t) u^{l}_{x}$ in $L^{2}(Q_{T})$, we deduce $\varpi_{l}=(A(x,t) u^{l}_{x})_{x}$. These, together with (3.20), imply that $u^{l}_{xx}\in L^{2}(Q^{l-}_{T})\cap L^{2}(Q^{l+}_{T})$ for each $l=1,\ldots,n$, $u^{l}_{xx}\in L^{2}(Q_{T})$ for each $l=n+1,\ldots,N$, $A^{l}(x,t) u^{l}_{x}\in V_{2}(Q_{T})$ for each $l=1,\ldots,N$, and (2.8) holds. Thus (2.4) implies that u satisfies the equations in (1.1a) and (1.1b) for almost all $(x,t)\in Q_{T}$ and the inner boundary condition (1.3) for almost all $t\in[0,T]$ (see [17, Chapter 3, Section 13]). As we have done in the derivation of (3.21), estimate (2.8) yields (2.9).

For fixed $l\in\{1,\ldots,N\}$ and $k\in\{1,\ldots,n+1\}$, $u^{l}$ satisfies the linear equation

$$ u^{l}_{t}-\underline{a}^{l}u^{l}_{xx}= \underline{b}^{l}(x,t)u^{l}_{x}+\underline {g}^{l}(x,t) \quad \bigl((x,t)\in Q_{k,T}\bigr), $$

where

$$ \underline{a}^{l}:=\left \{ \begin{array}{@{}l} \hat {a}^{l}\quad k\leq l, l=1,\ldots,n,\\ \tilde {a}^{l}\quad k> l, l=1,\ldots,n,\\ a^{l}\quad l=n+1,\ldots,N, \end{array} \right . \qquad \underline{b}^{l}(x,t):=\left \{ \begin{array}{@{}l} \hat {b}^{l}(u^{l}(x,t))\quad k\leq l, l=1,\ldots,n,\\ \tilde {b}^{l}(u^{l}(x,t))\quad k> l, l=1,\ldots,n,\\ b^{l}(u^{l}(x,t))\quad l=n+1,\ldots,N, \end{array} \right . $$

and

$$ \underline{g}^{l}(x,t):=g^{l}_{k} \bigl(\mathbf {u}(x,t) \bigr). $$

Then for any subdomains $Q'$ and $Q''$ satisfying $\bar{Q}\subset Q''$ and $\bar{Q}''\subset Q_{k,T}$, we have $\underline{b}^{l}(x,t), \underline{g}^{l}(x,t)\in C^{\alpha _{1},\alpha _{1}/2}(\bar{Q}'')$. The parabolic regularity theory shows that $u^{l}\in C^{2+\alpha _{1},1+\alpha _{1}/2}(\bar{Q}')$. Hence u satisfies pointwise the equations in (1.1a) and (1.1b) for $(x,t)\in Q_{k,T}$. Consequently, u is a solution in $\mathcal{S}$ of problem (1.1a)-(1.3) and estimates (2.6)-(2.9) hold.

Step 2. In what follows, we will show that the solution in $\mathcal{S}$ for problem (1.1a)-(1.3) is unique and estimates (2.10) and (2.11) hold.

Let $\mathbf {u}_{1}$, $\mathbf {u}_{2}$ be the solutions in $\mathcal{S}$ corresponding to $\boldsymbol {\varphi }_{1}$ and $\boldsymbol {\varphi }_{2}$, respectively. Set $\mathbf {w}=\mathbf {u}_{1}-\mathbf {u}_{2}$. Then $\mathbf{w}\in {\stackrel{\circ }{\mathcal{W}}}_2^{1,1}(Q_T)$. We choose $\boldsymbol {\eta }=\mathbf {w}$ in (2.4) to find

$$\begin{aligned} &\iint_{Q_{\tau}}u^{l}_{it}w^{l}\, \mathrm{d}x\,\mathrm{d}t+ \int_{0}^{\tau}\biggl\{ \int _{0}^{\varphi ^{l}_{i}(t)} \bigl[\hat {a}^{l} u^{l}_{ix}w^{l}_{x}- \hat {b}^{l} \bigl(u^{l}_{i} \bigr)u^{l}_{ix}w^{l} \bigr]\,\mathrm{d}x \\ &\qquad{} +\int^{d}_{\varphi ^{l}_{i}(t)} \bigl[\tilde {a}^{l} u^{l}_{ix}w^{l}_{x}-\tilde {b}^{l} \bigl(u^{l}_{i} \bigr)u^{l}_{ix}w^{l} \bigr]\,\mathrm{d}x \biggr\} -\sum_{k=1}^{n+1} \int_{0}^{\tau}\int_{\varphi ^{k-1}_{i}(t)}^{\varphi ^{k}_{i}(t)}g^{l}_{k}( \mathbf {u}_{i})w^{l}\,\mathrm{d}x\,\mathrm{d}t \\ &\quad =0,\quad i=1,2, l=1,\ldots,n, \end{aligned}$$

and

$$\begin{aligned} & \iint_{Q_{\tau}} \bigl[u^{l}_{it}w^{l}+a^{l} u^{l}_{ix}w^{l}_{x}-b^{l} \bigl(u^{l}_{i} \bigr)u^{l}_{ix}w^{l} \bigr]\,\mathrm{d}x\,\mathrm{d}t-\sum_{k=1}^{n+1} \int_{0}^{\tau}\int_{\varphi ^{k-1}_{i}(t)}^{\varphi ^{k}_{i}(t)}g^{l}_{k}( \mathbf {u}_{i})w^{l}\,\mathrm{d}x\,\mathrm{d}t \\ &\quad =0,\quad i=1,2, l=n+1,\ldots,N. \end{aligned}$$

For each $l=1,\ldots,N$, by a subtraction of the above equations for $i=1,2$, we conclude that

$$\begin{aligned} & \frac{1}{2}\int_{0}^{d} \bigl(w^{l}(x,\tau) \bigr)^{2}\,\mathrm{d}x+\int _{0}^{\tau}\biggl\{ \int_{0}^{\varphi ^{l}_{1}} \bigl[\hat {a}^{l} \bigl(w^{l}_{x} \bigr)^{2}- \bigl(\hat {b}^{l} \bigl(u^{l}_{1} \bigr)u^{l}_{1x}- \hat {b}^{l} \bigl(u^{l}_{2} \bigr)u^{l}_{2x} \bigr)w^{l} \bigr]\,\mathrm{d}x \\ &\qquad{} +\int_{\varphi ^{l}_{1}}^{d} \bigl[\tilde {a}^{l} \bigl(w^{l}_{x} \bigr)^{2}- \bigl( \tilde {b}^{l} \bigl(u^{l}_{1} \bigr)u^{l}_{1x}- \tilde {b}^{l} \bigl(u^{l}_{2} \bigr)u^{l}_{2x} \bigr)w^{l} \bigr]\,\mathrm{d}x \\ &\qquad{} +\int_{\varphi ^{l}_{1}}^{\varphi ^{l}_{2}} \bigl(\hat {b}^{l} \bigl(u^{l}_{2} \bigr)-\tilde {b}^{l} \bigl(u^{l}_{2} \bigr) \bigr)u^{l}_{2x}w^{l} \,\mathrm{d}x \biggr\} \,\mathrm{d}t \\ &\quad =\sum_{k=1}^{n+1}\int _{0}^{\tau}\biggl\{ \int_{\varphi ^{k-1}_{2}(t)}^{\varphi ^{k}_{2}(t)} \bigl[g^{l}_{k}(\mathbf {u}_{1})-g^{l}_{k}( \mathbf {u}_{2}) \bigr]w^{l}\,\mathrm{d}x \\ &\qquad{} + \biggl(\int_{\varphi ^{k-1}_{1}(t)}^{\varphi ^{k-1}_{2}(t)}+\int _{\varphi ^{k}_{2}(t)}^{\varphi ^{k}_{1}(t)} \biggr)g^{l}_{k}( \mathbf {u}_{1})w^{l}\,\mathrm{d}x \biggr\} \,\mathrm{d}t,\quad l\in \{1, \ldots,n\}, \end{aligned}$$

and

$$\begin{aligned} & \frac{1}{2}\int_{0}^{d} \bigl(w^{l}(x,\tau) \bigr)^{2}\,\mathrm{d}x+ \iint_{Q_{\tau }} \bigl[a^{l} \bigl(w^{l}_{x} \bigr)^{2}+ \bigl(b^{l} \bigl(u^{l}_{1} \bigr)u^{l}_{1x}-b^{l} \bigl(u^{l}_{2} \bigr)u^{l}_{2x} \bigr)w^{l} \bigr]\,\mathrm{d}x \\ &\quad =\sum_{k=1}^{n+1}\int _{0}^{\tau}\biggl\{ \int_{\varphi ^{k-1}_{2}(t)}^{\varphi ^{k}_{2}(t)} \bigl[g^{l}_{k}(\mathbf {u}_{1})-g^{l}_{k}( \mathbf {u}_{2}) \bigr]w^{l}\,\mathrm{d}x \\ &\qquad{} + \biggl(\int_{\varphi ^{k-1}_{1}(t)}^{\varphi ^{k-1}_{2}(t)}+\int _{\varphi ^{k}_{2}(t)}^{\varphi ^{k}_{1}(t)} \biggr)g^{l}_{k}( \mathbf {u}_{1})w^{l}\,\mathrm{d}x \biggr\} \,\mathrm{d}t,\quad l\in \{n+1, \ldots,N\}. \end{aligned}$$

Then

$$\begin{aligned} & \int_{0}^{d} \bigl(w^{l}(x,\tau) \bigr)^{2}\,\mathrm{d}x+ \iint_{Q_{\tau }} \bigl(w^{l}_{x} \bigr)^{2}\,\mathrm{d}x\,\mathrm{d}t \\ &\quad\leq C\iint_{Q_{\tau}} \bigl[\bigl|w^{l}_{x}w^{l}\bigr|+\bigl|u^{l}_{1x}\bigr| \bigl(w^{l} \bigr)^{2} \bigr]\,\mathrm{d}x\,\mathrm{d}t \\ &\qquad{} +C \biggl|\int_{0}^{\tau}\int _{\varphi ^{l}_{1}(t)}^{\varphi ^{l}_{2}(t)}\bigl|u^{l}_{2x}\bigr|\bigl|w^{l}\bigr| \,\mathrm{d}x\,\mathrm{d}t \biggr|+ \sum_{k=1}^{n+1} \iint_{Q_{\tau}}\bigl|g^{l}_{k}(\mathbf {u}_{1}) -g^{l}_{k}(\mathbf {u}_{2})\bigr|\bigl|w^{l}\bigr|\,\mathrm{d}x \,\mathrm{d}t \\ &\qquad{} +C\sum_{k=1}^{n}\int _{0}^{\tau}\int_{\varphi ^{k}_{1}(t)}^{\varphi ^{k}_{2}(t)}\bigl|w^{l}\bigr| \,\mathrm{d}x\,\mathrm{d}t \\ &\quad \leq\epsilon\iint_{Q_{\tau}}\bigl|w^{l}_{x}\bigr|^{2} \,\mathrm{d}x\,\mathrm{d}t+C(\epsilon)\iint_{Q_{\tau}} \Biggl[1+\sum _{j=1}^{2} \bigl(u^{l}_{jx} \bigr)^{2} \Biggr]|\mathbf {w}|^{2}\,\mathrm{d}x\,\mathrm{d}t \\ &\qquad{} +C\sum_{k=1}^{n}\int _{0}^{\tau}\bigl|\varphi ^{k}_{1}(t)-\varphi ^{k}_{2}(t)\bigr|\,\mathrm{d}t,\quad l=1,\ldots,N. \end{aligned}$$

Setting $\epsilon=1/2$ and summing the above inequalities with respect to l from $l=1$ to $l=N$, we have

$$\begin{aligned} & \int_{0}^{d}\bigl|\mathbf {w}(x,\tau)\bigr|^{2}\, \mathrm{d}x+ \iint_{Q_{\tau}}|\mathbf {w}_{x}|^{2}\,\mathrm{d}x \,\mathrm{d}t \\ &\quad \leq C\iint_{Q_{\tau}} \Biggl[1+\sum_{j=1}^{2}| \mathbf {u}_{jx}|^{2} \Biggr]|\mathbf {w}|^{2}\,\mathrm{d}x\, \mathrm{d}t+C\| \boldsymbol {\varphi }_{1}-\boldsymbol {\varphi }_{2}\|_{L^{2}(0,T)} \\ &\quad \leq C\int_{0}^{\tau}\Biggl[ \Biggl(1+\sum _{j=1}^{2}\|\mathbf {u}_{\varepsilon _{j}x}\| ^{2}_{L^{\infty}(0,d)} \Biggr)\int_{0}^{d} |\mathbf {w}|^{2}\,\mathrm{d}x \Biggr]\,\mathrm{d}t+C\|\boldsymbol {\varphi }_{1}- \boldsymbol {\varphi }_{2} \|_{L^{2}(0,T)}. \end{aligned}$$

Again by Gronwall’s inequality we deduce (2.10), which, together with [17, Chapter 2, formula (3.8)], gives (2.11). Therefore the solution in $\mathcal{S}$ for problem (1.1a)-(1.3) associated with $\boldsymbol {\varphi }(t)$ is unique.

Step 3. For $\boldsymbol {\varphi }\in \mathbf {C}^{2}((0,T])$, we discuss the regularity of u.

For any fixed $l\in\{1,\ldots,n\}$, let

$$\begin{aligned}& y=x-\varphi ^{l}(t),\qquad t'=t \quad(\mbox{denoted by } t \mbox{ still}), \\& v(y, t)=u^{l} \bigl(y+\varphi ^{l}(t),t \bigr). \end{aligned}$$

Then v satisfies

$$\begin{aligned}& \begin{aligned}[b] v_{t}&=\mathcal{H}(y,t,v) \\ &:=\left \{ \begin{array}{@{}l} \hat {a}^{l}v_{yy}+v_{y}\varphi ^{l}_{t}+\hat {b}^{l}(v)v_{y}+g^{l}_{l}(\mathbf {u}(y+\varphi ^{l}(t),t)) \quad((x,t)\in (-\delta,0)\times(0,T]),\\ \tilde {a}^{l} v_{yy}+v_{y}\varphi ^{l}_{t}+\tilde {b}^{l}(v)v_{y}+g^{l}_{l+1}(\mathbf {u}(y+\varphi ^{l}(t),t)) \quad((x,t)\in (0,\delta)\times(0,T]), \end{array} \right . \end{aligned} \\& v^{-}(0,t)=v^{+}(0,t), \qquad \hat {a}^{l}v^{-}_{y}(0,t)= \tilde {a}^{l}v^{+}_{y}(0,t) \quad \bigl(t\in[0,T] \bigr). \end{aligned}$$

We will use the result of [18] to obtain the regularity of v. To do this, we need the estimate of $\operatorname{ess\,sup}_{t_{1}\leq t\leq T}\int_{-\delta/2}^{\delta/2}(v_{t})^{2}\, \mathrm{d}y$ for any fixed $t_{1}\in(0,T)$. Let $\xi=\xi(y,t)$ be a smooth function with values between 0 and 1 such that $\xi=0$ for $|y|\geq \delta$ or $t\leq t_{1}/2$, $\xi=1$ for $(y,t)\in[-\delta/2,\delta/2 ]\times[t_{1},T]$ and $|\xi_{y}|+|\xi_{t}|\leq C(1/\delta,1/t_{1})$, and let

$$ v_{(t)}= \bigl[v(x,t+\Delta t)-v(x,t) \bigr]/\Delta t. $$

For any small enough Δt, consider the equality $\int_{t_{1}/2}^{\tau} \int_{-\delta}^{\delta}[v_{t}-\mathcal {H}(y,t,v)]_{(t)}v_{(t)}(\xi)^{2}\,\mathrm{d}x\,\mathrm{d}t$. By employing the formula of integration by parts and [17, Chapter II, formula (4.7)], we get

$$\begin{aligned} 0 =& \frac{1}{2}\int_{-\delta}^{\delta} \bigl(v_{(t)}(y,\tau)\xi(y,\tau) \bigr)^{2}\,\mathrm{d}y-\int _{t_{1}/2}^{\tau} \int_{-\delta}^{\delta}(v_{(t)})^{2} \xi\xi_{t}\,\mathrm{d}y\,\mathrm{d}t \\ &{} +\int_{t_{1}/2}^{\tau} \biggl\{ \int _{-\delta}^{0} \bigl[ \bigl(\hat {a}^{l}(v_{y(t)} \xi)^{2}+2\hat {a}^{l}v_{y(t)}v_{(t)}\xi \xi_{y} \bigr)+ \bigl( \bigl(\varphi ^{l}_{t} \bigr)_{(t)}v_{y}+\varphi _{t}(t+\Delta t)v_{y(t)} \bigr)v_{(t)}(\xi)^{2} \\ &{} + \bigl( \bigl(\hat {b}^{l}(v) \bigr)_{(t)}v_{y}+ \hat {b}^{l} \bigl(v(y,t+\Delta t) \bigr)v_{y(t)} \bigr)v_{(t)}(\xi)^{2}+ \bigl(g^{l}_{l} \bigl(\mathbf {u}\bigl(y+\varphi ^{l}(t),t \bigr) \bigr) \bigr)_{(t)}v_{(t)}( \xi)^{2} \bigr]\,\mathrm{d}y \\ &{} +\int_{0}^{\delta} \bigl[ \bigl( \tilde {a}^{l}(v_{y(t)}\xi)^{2}+2\tilde {a}^{l}v_{y(t)}v_{(t)} \xi\xi_{y} \bigr)+ \bigl( \bigl(\varphi ^{l}_{t} \bigr)_{(t)}v_{y}+\varphi _{t}(t+\Delta t)v_{y(t)} \bigr)v_{(t)}(\xi)^{2} \\ &{} + \bigl( \bigl(\tilde {b}^{l}(v) \bigr)_{(t)}v_{y}+ \tilde {b}^{l} \bigl(v(y,t+\Delta t) \bigr)v_{y(t)} \bigr)v_{(t)}(\xi)^{2} \\ &{}+ \bigl(g^{l}_{l+1} \bigl(\mathbf {u}\bigl(y+ \varphi ^{l}(t),t \bigr) \bigr) \bigr)_{(t)}v_{(t)}( \xi)^{2} \bigr]\,\mathrm{d}y \biggr\} \,\mathrm{d}t, \end{aligned}$$

where $v_{y(t)}=(v_{y})_{(t)}$. Some tedious computation and Cauchy’s inequality yield

$$\begin{aligned} &\frac{1}{2}\int_{-\delta}^{\delta} \bigl(v_{(t)}(y,\tau)\xi(y,\tau) \bigr)^{2}\,\mathrm{d}y+ \nu_{0}\int_{t_{1}/2}^{\tau} \int _{-\delta}^{\delta}(v_{y(t)}\xi)^{2}\, \mathrm{d} y\,\mathrm{d}t \\ &\quad\leq\epsilon\int_{t_{1}/2}^{\tau} \int _{-\delta}^{\delta }(v_{y(t)}\xi)^{2} \, \mathrm{d}y \,\mathrm{d}t \\ &\qquad{} +C \bigl(\epsilon,1/\delta,1/t_{1},\bigl\| \varphi ^{l}\bigr\| _{C^{2}([t_{1}/2,T])} \bigr)\int_{t_{1}/2}^{\tau} \int _{-\delta}^{\delta} \bigl[1+(v_{y})^{2}+(v_{(t)})^{2}+(v_{(t)} \xi)^{2}v_{y} \bigr]\,\mathrm{d}y\,\mathrm{d}t \\ &\qquad{} + C \bigl(\bigl\| \varphi ^{l}\bigr\| _{C^{1}([t_{1}/2,T])} \bigr)\sum _{i=1}^{N}\iint_{Q_{T}} \bigl[ \bigl(u^{i}_{x}(x,t) \bigr)^{2}+ \bigl(u^{i}_{t}(x,t) \bigr)^{2} \bigr]\,\mathrm{d}x \,\mathrm{d}t. \end{aligned}$$

We choose $\epsilon=\nu_{0}/4$ and employ (2.8) to find

$$\begin{aligned} & \int_{-\delta}^{\delta} \bigl(v_{(t)}(y,\tau) \xi(y,\tau) \bigr)^{2}\,\mathrm{d}y+\int_{t_{1}/2}^{\tau} \int_{-\delta}^{\delta}(v_{y(t)}\xi )^{2}\,\mathrm{d}y\,\mathrm{d}t \\ &\quad \leq C \bigl(1/\delta,1/t_{1},\bigl\| \varphi ^{l} \bigr\| _{C^{2}([0,T])} \bigr) \biggl\{ 1+\int_{t_{1}/2}^{\tau } \int_{-\delta}^{\delta} (v_{(t)} \xi)^{2}v_{y} \,\mathrm{d}y\,\mathrm{d}t \biggr\} \\ &\quad \leq C \bigl(1/\delta,1/t_{1},\bigl\| \varphi ^{l} \bigr\| _{C^{2}([t_{1}/2,T])} \bigr) \biggl\{ 1+\int_{t_{1}/2}^{\tau} \|v_{y} \|_{L^{\infty}(-\delta,\delta)}\int_{-\delta}^{\delta} (v_{(t)} \xi)^{2}\,\mathrm{d}y\,\mathrm{d}t \biggr\} . \end{aligned}$$

As we have done in the derivation of (3.20), by Gronwall’s inequality we get

$$\begin{aligned} \int_{-\delta}^{\delta} \bigl(v_{(t)}(y,\tau) \xi(y,\tau) \bigr)^{2}\,\mathrm{d}y+\int_{t_{1}/2}^{\tau} \int_{-\delta}^{\delta}(v_{y(t)}\xi )^{2}\,\mathrm{d}y\,\mathrm{d}t\leq C \bigl(1/\delta,1/t_{1}, \bigl\| \varphi ^{l}\bigr\| _{C^{2}([0,T])} \bigr). \end{aligned}$$

Consequently,

$$\begin{aligned} \int_{-\delta/2}^{\delta/2}(v_{(t)})^{2} \,\mathrm{d}y+\int_{t_{1}}^{\tau} \int _{-\delta/2}^{\delta/2}(v_{y(t)})^{2} \, \mathrm{d}y\,\mathrm{d}t\leq C \bigl(1/\delta,1/t_{1},\bigl\| \varphi ^{l} \bigr\| _{C^{2}([t_{1}/2,T])} \bigr). \end{aligned}$$

By [17, Chapter II, Lemma 4.11], this inequality implies that

$$\begin{aligned} \mathop{\operatorname{ess\,sup}}\limits_{t_{1}\leq t\leq T}\int_{-\delta/2}^{\delta/2}(v_{t})^{2} \,\mathrm{d}y+\int_{t_{1}}^{T} \int _{-\delta/2}^{\delta/2}(v_{yt})^{2} \, \mathrm{d}y\,\mathrm{d}t\leq C \bigl(1/\delta,1/t_{1},\bigl\| \varphi ^{l} \bigr\| _{C^{2}([t_{1}/2,T])} \bigr). \end{aligned}$$

(3.37)

Hence $u^{l}_{xt}\in\L^{2}(Q^{l}(\delta,t_{1}))$. Using (3.37), hypothesis (H)(iii) and [18, Theorem 1.1], we deduce that $v_{y}(y,t)$ is continuous with respect to y in $[-\delta/4,0]$ and in $[0, \delta/4]$ for almost all $t\in[t_{1},T]$, and $v_{t}$ is continuous in $[-\delta/4,\delta/4]\times[t_{1},T]$. Since $u^{l}_{x}(x,t)=v_{y}(x-\varphi ^{l}(t),t)$ and $u^{l}_{t}(x,t)=v_{t}(x-\varphi ^{l}(t),t)-v_{y}(x-\varphi ^{l}(t),t)\varphi ^{l}_{t}(t)$, then for almost all $t\in[t_{1},T]$, $u^{l}_{x}(x,t)$ and $u^{l}_{t}(x,t)$ are continuous with respect to x in $[\varphi ^{l}(t)-\delta/4,\varphi ^{l}(t)]$ and in $[\varphi ^{l}(t),\varphi ^{l}(t)+\delta/4]$. □

The following corollary follows directly from Theorem 2.1.

Corollary 3.3

Assume that $\boldsymbol {\varphi }_{m}(t)\in \mathbf {C}^{2}([0,T])$, $m=1,2,\ldots$ , satisfy (2.5) and the sequence $\{\boldsymbol {\varphi }_{m}(t)\}$ converges in $\mathbf {W}^{1}_{2}(0,T)$ to $\boldsymbol {\varphi }(t)$. If $\mathbf {u}_{m}$, u are the solutions in $\mathcal{S}$ of (1.1a)-(1.3) corresponding to $\boldsymbol {\varphi }_{m}$ and φ, respectively, then there exists a subsequence (we retain the same notation for it) $\{\mathbf {u}_{m}\}$ such that

$$\begin{aligned} \mathbf {u}_{m}\to \mathbf {u}\quad\textit{in }\mathcal{C}(\bar{Q}_{T}), \qquad \mathbf {u}_{m t}\rightharpoonup \mathbf {u}_{t} \quad\textit{weakly in } \mathcal {L}^{2}(Q_{T}),\qquad \mathbf {u}_{m}\to \mathbf {u}\quad \textit{in } \mathcal{V}_{2}^{1, 0}(\mathcal{Q}_{T}). \end{aligned}$$

The free boundary problem

The goal of this section is to prove the local existence of solutions for problem (1.1a)-(1.4).

In this section, let

$$\begin{aligned}& T_{0}:=\min \Biggl\{ \biggl(\frac{\delta_{0}}{4} \biggr)^{2/3}, \Biggl[C_{4} \biggl(\frac{2}{\delta_{0}}, \biggl(\frac{\delta _{0}}{4} \biggr)^{1/9} \biggr)\sum_{i=1}^{n} \frac{\hat {a}^{i}}{m^{i}} \Biggr]^{-12} \Biggr\} ,\quad 0< T\leq T_{0}, \\& \mathbb{B}:= \bigl\{ \mathbf {r}(t)= \bigl(r^{1}(t),\ldots,r^{n}(t) \bigr):\bigl\| \mathbf {r}(t)\bigr\| _{ \mathbf {L}^{3}(0,T)}\leq1 \bigr\} . \end{aligned}$$

Then, for $\mathbf {r}(t)\in\mathbb{B}$, we have

$$\begin{aligned}& \int_{0}^{T}\bigl|r^{i}(t)\bigr|\,\mathrm{d}t \leq T^{2/3}\bigl\| r^{i}(t)\bigr\| _{L^{3}(0,T)}\leq T^{2/3} \leq \delta_{0}/4, \\& \int_{0}^{T}\bigl|r^{i}(t)-r^{i-1}(t)\bigr| \,\mathrm{d}t\leq2T^{2/3}\leq\delta_{0}/2,\quad i=1,\ldots,n. \end{aligned}$$

Thus $\varphi ^{i}(t)=d^{i}+\int_{0}^{t}r^{i}(t)\,\mathrm{d}t$, $i=1,\ldots,n$, satisfy

$$\begin{aligned} \varphi ^{1}(t)\geq d^{1}-\int_{0}^{T}\bigl|r^{1}(t)\bigr| \,\mathrm{d}t\geq\frac{3}{4}\delta_{0},\qquad d- \varphi ^{n}(t) \geq d-d^{n}-\int_{0}^{T}\bigl|r^{n}(t)\bigr| \,\mathrm{d}t\geq\frac{3}{4}\delta_{0}, \end{aligned}$$

(4.1)

and

$$\begin{aligned} \varphi ^{i}(t)-\varphi ^{i-1}(t)\geq d^{i}-d^{i-1}- \int_{0}^{T}\bigl|r^{i}(t)-r^{i-1}(t)\bigr| \,\mathrm{d}t\geq\frac{\delta_{0}}{2},\quad i=2,\ldots,n. \end{aligned}$$

(4.2)

For $\mathbf {r}(t)\in\mathbb{B}$, define

$$\mathcal{G}(\mathbf {r}) (t)= \biggl(-\frac{\hat {a}^{1} u^{1-}_{x}(\varphi ^{1}(t),t)}{u^{1}(\varphi ^{1}(t),t)},\ldots,-\frac{\hat {a}^{n} u^{n-}_{x}(\varphi ^{n}(t),t) }{u^{n}(\varphi ^{n}(t),t)} \biggr) \quad\mbox{for a.e. }t\in[0,T], $$

where $\varphi ^{i}(t)=d^{i}+\int_{0}^{t}r^{i}(\tau)\,\mathrm {d}\tau$ ($i=1,\ldots,n$) and u is the solution in $\mathcal{S}$ of problem (1.1a)-(1.3) associated with $\boldsymbol {\varphi }(t)=(\varphi ^{1}(t),\ldots, \varphi ^{n}(t))$.

Proof of Theorem 2.2

By a slight modification, we use the methods and the framework of [3, 5] to prove Theorem 2.2. We only sketch the main steps and omit most of the detailed proofs.

Step 1. We will show that $\mathcal{G}(\mathbb{B})\subseteq \mathbb{B}$.

Employing (4.1), (4.2), (2.9) and Hölder’s inequality, we get

$$\begin{aligned} \|\boldsymbol {\varphi }_{t}\|_{\mathbf {L}^{2}(0,T)}\leq\|\boldsymbol {\varphi }_{t} \|_{\mathbf {L}^{3}(0,T)}T_{0}^{1/6} \leq(\delta_{0}/4)^{1/9} \end{aligned}$$

and

$$\begin{aligned} \bigl\| \mathcal{G}(\mathbf {r}) (t)\bigr\| _{\mathbf {L}^{3}(0,T)} =&\sum_{i=1}^{n} \biggl\| \frac {\hat {a}^{i} u^{i-}_{x}(\varphi ^{i}(t),t)}{u^{i}(\varphi ^{i}(t),t)} \biggr\| _{L^{3}(0,T)} \\ \leq& \sum_{i=1}^{n}\frac{\hat {a}^{i}}{m^{i}} \biggl(\int_{0}^{T}\bigl\| u^{i}_{x} \bigr\| ^{3}_{L^{\infty}(0,\varphi ^{i}(t))}\,\mathrm{d}t \biggr)^{1/3} \\ \leq& \sum_{i=1}^{n}\frac{\hat {a}^{i}}{m^{i}} \bigl\| u^{i}_{x}\bigr\| _{L^{\infty,4}(Q_{T})}T^{1/12} \\ \leq& T_{0}^{1/12}C_{4} \biggl(\frac{2}{\delta_{0}}, \biggl(\frac{\delta_{0}}{4} \biggr)^{1/9} \biggr)\sum _{i=1}^{n}\frac{\hat {a}^{i}}{m^{i}} \\ \leq& 1. \end{aligned}$$

Consequently, $\mathcal{G}(\mathbb{B})\subseteq\mathbb{B}$.

Step 2. By (2.11) and a slight modification of the proof of [3, Proposition 3.4], we can prove that $\mathcal{G}:\mathbb{B} \to\mathbb{B}$ is continuous and $\mathcal{G}(\mathbb{B})\subset\mathbb{B}$ is precompact in $\mathbf {L}^{3}(0,T)$.

Step 3. It follows from Schauder’s fixed point theorem that $\mathcal{G}:\mathbb{B}\to\mathbb{B}$ has at least one fixed point $\mathbf {r}(t)$. Then the curves $\varphi ^{i}(t)=d^{i}+\int_{0}^{t}r^{i}(\tau)\,\mathrm{d}\tau$, $i=1,\ldots,n$, and the vector function $\mathbf {u}(x,t)$ associated with $\boldsymbol {\varphi }(t)$ by Theorem 2.1 satisfy (1.4) for almost all $t\in[0,T]$. Moreover, (1.4), (2.6) and (2.9) imply that $\boldsymbol {\varphi }(t)$ is in $\mathbf {W}^{1}_{4}(0,T)$.

Step 4. Using the regularity result of Theorem 2.1(iii) and the approximation result of Corollary 3.3, and calculating $\int_{0}^{T}\frac{\mathrm{d}}{\mathrm{d}t}\int_{0}^{d} (A^{l}(x,t))^{3}(u^{l}_{x})^{4}\,\mathrm{d}x\,\mathrm{d}t$, we can conclude from the proof similar to that of [5, Lemma 2.5] that

$$ \sup_{[0,T]}\int_{0}^{d} \bigl(u^{l}_{x} \bigr)^{4}\,\mathrm{d}x\leq C(1/ \delta_{0},T_{0}),\quad l=1,\ldots,N. $$

(4.3)

In addition, for each $l=n+1,\ldots,N$, $u^{l}$ satisfies the linear equation

$$ u^{l}_{t}-a^{l}u^{l}_{xx}= \underline{f}^{l}(x,t):=b^{l} \bigl(u^{l} \bigr)u^{l}_{x}+G^{l}(x,t,\mathbf {u}) \quad \bigl((x,t)\in Q_{T} \bigr). $$

Estimate (4.3) yields $\underline{f}^{l}(x,t)\in L^{4}(Q_{T})$. Thus, according to the local parabolic $L^{p}$ estimates, we get $u^{l}\in W^{2,1}_{4}(Q')$ for any interior domain $Q'$ of $Q_{T}$. This implies that

$$ u^{l}_{x}\in C^{\alpha ,\alpha /2} \bigl( \bar{Q}' \bigr) $$

(4.4)

for some $\alpha \in(0,1)$.

Step 5. By (4.3), (4.4) and hypothesis (H)(iii), a similar argument as that for [5, Theorem 2.6] shows that for each $l=1,\ldots,n$, $\varphi ^{l}(t)\in C^{2+\alpha }((0,T])$. Then (1.4) holds for $t\in(0, T]$ and $\{\mathbf {u}(x,t), \boldsymbol {\varphi }(t)\}$ is a local solution of problem (1.1a)-(1.4). □

Remark 4.1

Theorem 2.2 concerns the local existence of solutions for (1.1a)-(1.4). For the case $n=1$, the global existence of solutions of (1.1a)-(1.4) can be proved by the same argument as that in [4]. For the case $n>1$, the difficulty to prove the global existence of solutions may be that the free boundaries can intersect with each other.

An example

In this section, we give an example satisfying the conditions in hypothesis (H).

Consider the Lotka-Volterra reaction-diffusion model with two predators $u^{1}$, $u^{2}$, and one prey $u^{3}$, where each of predators $u^{1}$, $u^{2}$ has two groups and the prey $u^{3}$ is native and has only one group. Then the reaction-diffusion functions are defined by

$$ \left \{ \begin{array}{@{}l} g^{1}_{k}(\mathbf {u})=\gamma^{1}_{k}u^{1}(1-\beta ^{1}_{k}u^{1}-\varsigma^{1}_{k}u^{2}+\sigma^{1}_{k}u^{3}),\\ g^{2}_{k}(\mathbf {u}) =\gamma^{2}_{k}u^{2}(1-\beta ^{2}_{k}u^{2}-\varsigma^{2}_{k}u^{1}+\sigma^{2}_{k}u^{3}),\\ g^{3}_{k}(\mathbf {u})=\gamma^{3}u^{3}(1-\beta ^{3}u^{3}-\varsigma^{3}_{k}u^{1}-\sigma ^{3}_{k}u^{2}),\quad k=1,2,3, \end{array} \right . $$

(5.1)

where $\gamma^{l}_{k}$, $\beta ^{l}_{k}$, $\varsigma^{l}_{k}$, $\sigma^{l}_{k}$ ($l,k=1,2$), $\gamma^{3}$, $\beta ^{3}$, $\varsigma^{3}_{3}$ and $\sigma^{3}_{3}$ are all positive constants. For the mankind’s influence, we assume that

$$ \left \{ \begin{array}{@{}l} \hat {b}(u^{l})=\hat{\chi}^{l}u^{l}, \qquad \tilde {b}(u^{l})=-\tilde{\chi}^{l}u^{l},\quad l=1,2,\\ b^{3}(u^{3})=\chi^{3}u^{3}, \end{array} \right . $$

(5.2)

where $\hat{\chi}^{l}$, $\tilde{\chi}^{l}$ ($l=1,2$) and $\chi^{3}$ are constants. Thus $\mathbf {u}=(u^{1},u^{2},u^{3})$ and $\boldsymbol {\varphi }=(\varphi ^{1},\varphi ^{2})$ are governed by system (1.1a)-(1.4), where $n=2$, $N=3$ and the coefficients are replaced by (5.1), (5.2).

Assume that

$$\begin{aligned}& \max_{k=1,2,3} \biggl\{ \frac{1+\sigma^{1}_{k}(\beta ^{3})^{-1}}{\beta ^{1}_{k}}, \frac{1+\sigma^{2}_{k}(\beta ^{3})^{-1}}{\beta ^{2}_{k}} \biggr\} < \min_{k=1,2,3} \biggl\{ \frac{1}{\varsigma^{1}_{k}}, \frac{1}{\varsigma^{2}_{k}},\frac{1}{\varsigma^{3}_{k}+\sigma^{3}_{k}} \biggr\} , \end{aligned}$$

(5.3)

$$\begin{aligned}& 0<\psi^{l}(x,t)< \min_{k=1,2,3} \biggl\{ \frac{1}{\varsigma^{1}_{k}}, \frac{1}{\varsigma^{2}_{k}},\frac {1}{\varsigma^{3}_{k}+\sigma^{3}_{k}} \biggr\} \quad \bigl((x,t)\in S_{T}\cup \bigl([0,d]\times\{0\} \bigr) \bigr), l=1,2, \end{aligned}$$

(5.4)

and

$$ 0<\psi^{3}(x,t)< \bigl(\beta ^{3} \bigr)^{-1}. $$

(5.5)

We will look for $\mathbf{M}=(M^{1},M^{2},M^{3})$ and $\mathbf{m}=(m^{1},m^{2},m^{3})$ satisfying (2.1). This requires that

$$\begin{aligned}& \left \{ \begin{array}{@{}l} 1-\beta ^{1}_{k}M^{1}-\varsigma^{1}_{k}m^{2}+\sigma^{1}_{k}M^{3}\leq0,\\ 1-\beta ^{2}_{k}M^{2}-\varsigma^{2}_{k}m^{1}+\sigma^{2}_{k}M^{3}\leq0,\\ 1-\beta ^{3}M^{3}-\varsigma^{3}_{k}m^{1}-\sigma^{3}_{k}m^{2}\leq0,\quad k=1,2,3, \end{array} \right . \end{aligned}$$

(5.6)

$$\begin{aligned}& \left \{ \begin{array}{@{}l} 1-\beta ^{1}_{k}m^{1}-\varsigma^{1}_{k}M^{2}+\sigma^{1}_{k}m^{3}\geq0,\\ 1-\beta ^{2}_{k}m^{2}-\varsigma^{2}_{k}M^{1}+\sigma^{2}_{k}m^{3}\geq0,\\ 1-\beta ^{3}m^{3}-\varsigma^{3}_{k}M^{1}-\sigma^{3}_{k}M^{2}\geq0,\quad k=1,2,3, \end{array} \right . \end{aligned}$$

(5.7)

and

$$ m^{l}< \psi^{l}(x,t)<M^{l} \quad \bigl((x,t)\in S_{T}\cup \bigl\{ \Omega \times\{0\} \bigr\} \bigr), l=1,2,3. $$

(5.8)

Choose $m^{1}=m^{2}=m^{3}$ and $M^{1}=M^{2}$. It is obvious that (5.6) and (5.7) hold if

$$ \left \{ \begin{array}{@{}l} 1-\beta ^{1}_{k}M^{1}+\sigma^{1}_{k}M^{3}\leq0,\\ 1-\beta ^{2}_{k}M^{1}+\sigma^{2}_{k}M^{3}\leq0,\\ 1-\beta ^{3}M^{3}\leq0,\quad k=1,2,3, \end{array} \right . $$

(5.9)

and

$$ \left \{ \begin{array}{@{}l} 1-\beta ^{1}_{k}m^{1}-\varsigma^{1}_{k}M^{1}\geq0,\\ 1-\beta ^{2}_{k}m^{1}-\varsigma^{2}_{k}M^{1}\geq0,\\ 1-\beta ^{3}m^{1}-\varsigma^{3}_{k}M^{1}-\sigma^{3}_{k}M^{1}\geq0,\quad k=1,2,3. \end{array} \right . $$

(5.10)

By (5.3)-(5.5), we can first choose $m^{1}=m^{2}=m^{3}$ small enough such that

$$\begin{aligned} &0< m^{l}< \psi^{l}(x,t)< \min_{k=1,2,3} \biggl\{ \frac{1-\beta ^{1}_{k}m^{1}}{\varsigma^{1}_{k}}, \frac{1-\beta ^{2}_{k}m^{1}}{\varsigma^{2}_{k}},\frac{1-\beta ^{3}_{k}m^{1}}{\varsigma ^{3}_{k}+\sigma^{3}_{k}} \biggr\} \\ &\quad \bigl((x,t)\in S_{T}\cup \bigl([0,d]\times\{0\} \bigr) \bigr), l=1,2, \end{aligned}$$

and

$$ \max_{k=1,2,3} \biggl\{ \frac{1+\sigma^{1}_{k}(\beta ^{3})^{-1}}{\beta ^{1}_{k}}, \frac{1+\sigma^{2}_{k}(\beta ^{3})^{-1}}{\beta ^{2}_{k}} \biggr\} < \min_{k=1,2,3} \biggl\{ \frac{1-\beta ^{1}_{k}m^{1}}{\varsigma^{1}_{k}}, \frac{1-\beta ^{2}_{k}m^{1}}{\varsigma^{2}_{k}},\frac{1-\beta ^{3}_{k}m^{1}}{\varsigma ^{3}_{k}+\sigma^{2}_{k}} \biggr\} . $$

Furthermore, choose $M^{1}$, $M^{2}$ and $M^{3}$ such that

$$\begin{aligned}& M^{3}= \bigl(\beta ^{3} \bigr)^{-1}, \\& M^{1}=M^{2}\geq\max_{k=1,2,3} \biggl\{ \frac{1+\sigma^{1}_{k}(\beta ^{3})^{-1}}{\beta ^{1}_{k}}, \frac{1+\sigma^{2}_{k}(\beta ^{3})^{-1}}{\beta ^{2}_{k}} \biggr\} , \\& M^{1}=M^{2}> \psi^{l}(x,t) \quad \bigl((x,t)\in S_{T}\cup \bigl([0,d]\times\{0\} \bigr) \bigr), \quad l=1,2, \end{aligned}$$

and

$$\begin{aligned} M^{1}=M^{2}\leq\min_{k=1,2,3} \biggl\{ \frac{1-\beta ^{1}_{k}m^{1}}{\varsigma^{1}_{k}}, \frac{1-\beta ^{2}_{k}m^{1}}{\varsigma^{2}_{k}},\frac {1-\beta ^{3}_{k}m^{1}}{\varsigma ^{3}_{k}+\sigma^{2}_{k}} \biggr\} . \end{aligned}$$

The relations (5.8)-(5.10) are guaranteed by the above M and m. Hence M and m satisfy (5.6)-(5.8); and consequently, M and m satisfy (2.1). Moreover, $\mathbf{g}_{k}(\mathbf {u})=(g^{1}_{k}(\mathbf {u}),g^{2}_{k}(\mathbf {u}),g^{3}_{k}(\mathbf {u}))$, $k=1,2,3$, are mixed quasimonotone in $\mathcal{S}$ with the same index vector $((u^{3});(u^{3});[\mathbf {u}]_{0})$. The above argument shows that the conditions in hypothesis (H) can be satisfied. Then we get the following corollary from Theorem 2.2.

Corollary 5.1

In problem (1.1a)-(1.4), let $n=2$, $N=3$, and let the coefficients be given by (5.1), (5.2). Assume that the conditions in (5.3)-(5.5) and hypothesis (H)(i) are satisfied. Then there exist $T>0$ and a pair of functions $\mathbf {u}(x,t)$, $\boldsymbol {\varphi }(t)$ such that $\{\mathbf {u}(x,t), \boldsymbol {\varphi }(t)\}$ is a solution of (1.1a)-(1.4).